:- set(i,2).                         % nuevas variables permitidas en el cuerpo de una cláusula
:- set(minacc,0.80).          % [0.0-1.0] Precisión mínima para cada regla
            :- set(noise,5).     % Ejemplos negativos (como máximo) que puede cubrir una regla
:- set(minpos,2).              % Número de ejemplos positivos (como mínimo) que debe cubrir cada regla
:- set(nodes,5000).   

:- set(test_pos, 'moral_reasoner/extended_aleph/test9.f').
:- set(test_neg, 'moral_reasoner/extended_aleph/test9.n').

:- modeh(*, guilty(+person)).

:- modeb(*, necessary_for_harm(+person, #bool)).
:- modeb(*, necessary_for_harm(+person, -bool)).

:- set(grouping, true).
:- grouping( guilty(link), mental_state(link, attribute)).

%:- modeb(*, mental_state(+person, #mentalState)).
:- modeb(*, mental_state(+person, -mentalState)).

:- modeb(*, external_force(+person, #bool)).
:- modeb(*, external_force(+person, -bool)).

:- modeb(*, foreseeability(+person, #level)).
:- modeb(*, foreseeability(+person, -level)).

:- modeb(*, intervening_contribution(+person, #bool)).
:- modeb(*, intervening_contribution(+person, -bool)).

:- modeb(*, achieve_goal(+person, #bool)).
:- modeb(*, achieve_goal(+person, -bool)).

% Integer = {0,1}
:- modeb(*, severity_harm(+person, #integer)).
:- modeb(*, severity_harm(+person, -integer)).

:- modeb(*, benefit_victim(+person, #integer)).
:- modeb(*, benefit_victim(+person, -integer)).

:- modeb(*, careful(+person, #bool)).
:- modeb(*, careful(+person, -bool)).

:- modeb(*, benefit_protagonist(+person, #bool)).
:- modeb(*, benefit_protagonist(+person, -bool)).

:- modeb(*, control_perpetrator(+person, #bool)).
:- modeb(*, control_perpetrator(+person, -bool)).

:- modeb(*, external_cause(+person, #bool)).
:- modeb(*, external_cause(+person, -bool)).

:- modeb(*, foresee_intervention(+person, #bool)).
:- modeb(*, foresee_intervention(+person, -bool)).

:- modeb(*, goal_achieveable_less_harmful(+person, #bool)).
:- modeb(*, goal_achieveable_less_harmful(+person, -bool)).

:- modeb(*, goal_outweigh_harm(+person, #bool)).
:- modeb(*, goal_outweigh_harm(+person, -bool)).

:- modeb(*, harm_caused_as_planned(+person, #bool)).
:- modeb(*, harm_caused_as_planned(+person, -bool)).

:- modeb(*, monitor(+person, #bool)).
:- modeb(*, monitor(+person, -bool)).

:- modeb(*, outrank_perpetrator(+person, #bool)).
:- modeb(*, outrank_perpetrator(+person, -bool)).

:- modeb(*, someone_else_cause_harm(+person, #bool)).
:- modeb(*, someone_else_cause_harm(+person, -oolean)).

:- modeb(*, plan_include_harm(+person, #bool)).
:- modeb(*, plan_include_harm(+person, -bool)).

:- modeb(*, plan_known(+person, #bool)).
:- modeb(*, plan_known(+person, -bool)).

:- modeb(*, produce_harm(+person, #bool)).
:- modeb(*, produce_harm(+person, -bool)).

:- modeb(*, sufficient_for_harm(+person, #bool)).
:- modeb(*, sufficient_for_harm(+person, -bool)).


:- determination(guilty/1, necessary_for_harm/2).
:- determination(guilty/1, mental_state/2).
:- determination(guilty/1, external_force/2).
:- determination(guilty/1, foreseeability/2).
:- determination(guilty/1, intervening_contribution/2).
:- determination(guilty/1, achieve_goal/2).
:- determination(guilty/1, severity_harm/2).
:- determination(guilty/1, benefit_victim/2).
:- determination(guilty/1, careful/2).
:- determination(guilty/1, benefit_protagonist/2).
:- determination(guilty/1, control_perpetrator/2).
:- determination(guilty/1, external_cause/2).
:- determination(guilty/1, foresee_intervention/2).
:- determination(guilty/1, goal_achieveable_less_harmful/2).
:- determination(guilty/1, goal_outweigh_harm/2).
:- determination(guilty/1, harm_caused_as_planned/2).
:- determination(guilty/1, monitor/2).
:- determination(guilty/1, outrank_perpetrator/2).
:- determination(guilty/1, someone_else_cause_harm/2).
:- determination(guilty/1, plan_include_harm/2).
:- determination(guilty/1, plan_known/2).
:- determination(guilty/1, produce_harm/2).
:- determination(guilty/1, sufficient_for_harm/2).





% Types
person(n0). person(n1). person(n2). person(n3). person(n4). person(n5). person(n6). person(n7). person(n8). person(n9). person(n10). person(n11). person(n12).
person(n13). person(n14). person(n15). person(n16). person(n17). person(n18). person(n19). person(n20). person(n21). person(n22). person(n23). person(n24).
person(n25). person(n26). person(n27). person(n28). person(n29). person(n30). person(n31). person(n32). person(n33). person(n34). person(n35). person(n36).
person(n37). person(n38). person(n39). person(n40). person(n41). person(n42). person(n43). person(n44). person(n45). person(n46). person(n47). person(n48).
person(n49). person(n50). person(n51). person(n52). person(n53). person(n54). person(n55). person(n56). person(n57). person(n58). person(n59). person(n60).
person(n61). person(n62). person(n63). person(n64). person(n65). person(n66). person(n67). person(n68). person(n69). person(n70). person(n71). person(n72).
person(n73). person(n74). person(n75). person(n76). person(n77). person(n78). person(n79). person(n80). person(n81). person(n82). person(n83). person(n84).
person(n85). person(n86). person(n87). person(n88). person(n89). person(n90). person(n91). person(n92). person(n93). person(n94). person(n95). person(n96).
person(n97). person(n98). person(n99). person(p0). person(p1). person(p2). person(p3). person(p4). person(p5). person(p6). person(p7). person(p8). person(p9).
person(p10). person(p11). person(p12). person(p13). person(p14). person(p15). person(p16). person(p17). person(p18). person(p19). person(p20). person(p21).
person(p22). person(p23). person(p24). person(p25). person(p26). person(p27). person(p28). person(p29). person(p30). person(p31). person(p32). person(p33).
person(p34). person(p35). person(p36). person(p37). person(p38). person(p39). person(p40). person(p41). person(p42). person(p43). person(p44). person(p45).
person(p46). person(p47). person(p48). person(p49). person(p50). person(p51). person(p52). person(p53). person(p54). person(p55). person(p56). person(p57).
person(p58). person(p59). person(p60). person(p61). person(p62). person(p63). person(p64). person(p65). person(p66). person(p67). person(p68). person(p69).
person(p70). person(p71). person(p72). person(p73). person(p74). person(p75). person(p76). person(p77). person(p78). person(p79). person(p80). person(p81).
person(p82). person(p83). person(p84). person(p85). person(p86). person(p87). person(p88). person(p89). person(p90). person(p91). person(p92). person(p93).
person(p94). person(p95). person(p96). person(p97). person(p98). person(p99). person(p100). person(p101).


mentalState(negligent).    mentalState(reckless).   mentalState(intend).   mentalState(neither).
bool(y). bool(n).


necessary_for_harm(p0,y).
necessary_for_harm(p1,n).
necessary_for_harm(p2,y).
necessary_for_harm(p3,y).
necessary_for_harm(p4,n).
necessary_for_harm(p5,y).
necessary_for_harm(p6,n).
necessary_for_harm(p7,y).
necessary_for_harm(p8,y).
necessary_for_harm(p9,y).
necessary_for_harm(p10,y).
necessary_for_harm(p11,n).
necessary_for_harm(p12,y).
necessary_for_harm(p13,n).
necessary_for_harm(p14,n).
necessary_for_harm(p15,n).
necessary_for_harm(p16,y).
necessary_for_harm(p17,y).
necessary_for_harm(p18,n).
necessary_for_harm(p19,y).
necessary_for_harm(p20,n).
necessary_for_harm(p21,n).
necessary_for_harm(p22,y).
necessary_for_harm(p23,y).
necessary_for_harm(p24,y).
necessary_for_harm(p25,y).
necessary_for_harm(p26,n).
necessary_for_harm(p27,y).
necessary_for_harm(p28,n).
necessary_for_harm(p29,y).
necessary_for_harm(p30,y).
necessary_for_harm(p31,y).
necessary_for_harm(p32,y).
necessary_for_harm(p33,y).
necessary_for_harm(p34,n).
necessary_for_harm(p35,y).
necessary_for_harm(p36,n).
necessary_for_harm(p37,n).
necessary_for_harm(p38,n).
necessary_for_harm(p39,y).
necessary_for_harm(p40,y).
necessary_for_harm(p41,y).
necessary_for_harm(p42,n).
necessary_for_harm(p43,y).
necessary_for_harm(p44,y).
necessary_for_harm(p45,n).
necessary_for_harm(p46,y).
necessary_for_harm(p47,y).
necessary_for_harm(p48,y).
necessary_for_harm(p49,n).
necessary_for_harm(p50,y).
necessary_for_harm(p51,y).
necessary_for_harm(p52,n).
necessary_for_harm(p53,n).
necessary_for_harm(p54,y).
necessary_for_harm(p55,y).
necessary_for_harm(p56,n).
necessary_for_harm(p57,y).
necessary_for_harm(p58,y).
necessary_for_harm(p59,n).
necessary_for_harm(p60,n).
necessary_for_harm(p61,n).
necessary_for_harm(p62,y).
necessary_for_harm(p63,y).
necessary_for_harm(p64,y).
necessary_for_harm(p65,n).
necessary_for_harm(p66,y).
necessary_for_harm(p67,n).
necessary_for_harm(p68,y).
necessary_for_harm(p69,y).
necessary_for_harm(p70,y).
necessary_for_harm(p71,n).
necessary_for_harm(p72,n).
necessary_for_harm(p73,n).
necessary_for_harm(p74,n).
necessary_for_harm(p75,y).
necessary_for_harm(p76,y).
necessary_for_harm(p77,n).
necessary_for_harm(p78,n).
necessary_for_harm(p79,y).
necessary_for_harm(p80,y).
necessary_for_harm(p81,n).
necessary_for_harm(p82,n).
necessary_for_harm(p83,y).
necessary_for_harm(p84,y).
necessary_for_harm(p85,n).
necessary_for_harm(p86,n).
necessary_for_harm(p87,y).
necessary_for_harm(p88,y).
necessary_for_harm(p89,y).
necessary_for_harm(p90,y).
necessary_for_harm(p91,n).
necessary_for_harm(p92,y).
necessary_for_harm(p93,y).
necessary_for_harm(p94,y).
necessary_for_harm(p95,y).
necessary_for_harm(p96,n).
necessary_for_harm(p97,y).
necessary_for_harm(p98,n).
necessary_for_harm(p99,n).
necessary_for_harm(p100,y).
necessary_for_harm(p101,y).
necessary_for_harm(n0,y).
necessary_for_harm(n1,y).
necessary_for_harm(n2,y).
necessary_for_harm(n3,n).
necessary_for_harm(n4,y).
necessary_for_harm(n5,n).
necessary_for_harm(n6,y).
necessary_for_harm(n7,y).
necessary_for_harm(n8,n).
necessary_for_harm(n9,n).
necessary_for_harm(n10,y).
necessary_for_harm(n11,n).
necessary_for_harm(n12,n).
necessary_for_harm(n13,y).
necessary_for_harm(n14,y).
necessary_for_harm(n15,n).
necessary_for_harm(n16,n).
necessary_for_harm(n17,n).
necessary_for_harm(n18,n).
necessary_for_harm(n19,n).
necessary_for_harm(n20,y).
necessary_for_harm(n21,n).
necessary_for_harm(n22,n).
necessary_for_harm(n23,y).
necessary_for_harm(n24,n).
necessary_for_harm(n25,y).
necessary_for_harm(n26,n).
necessary_for_harm(n27,y).
necessary_for_harm(n28,y).
necessary_for_harm(n29,y).
necessary_for_harm(n30,n).
necessary_for_harm(n31,n).
necessary_for_harm(n32,n).
necessary_for_harm(n33,y).
necessary_for_harm(n34,y).
necessary_for_harm(n35,n).
necessary_for_harm(n36,n).
necessary_for_harm(n37,y).
necessary_for_harm(n38,y).
necessary_for_harm(n39,n).
necessary_for_harm(n40,y).
necessary_for_harm(n41,n).
necessary_for_harm(n42,n).
necessary_for_harm(n43,n).
necessary_for_harm(n44,n).
necessary_for_harm(n45,n).
necessary_for_harm(n46,y).
necessary_for_harm(n47,n).
necessary_for_harm(n48,y).
necessary_for_harm(n49,n).
necessary_for_harm(n50,y).
necessary_for_harm(n51,n).
necessary_for_harm(n52,n).
necessary_for_harm(n53,y).
necessary_for_harm(n54,y).
necessary_for_harm(n55,n).
necessary_for_harm(n56,n).
necessary_for_harm(n57,n).
necessary_for_harm(n58,n).
necessary_for_harm(n59,y).
necessary_for_harm(n60,n).
necessary_for_harm(n61,y).
necessary_for_harm(n62,n).
necessary_for_harm(n63,y).
necessary_for_harm(n64,y).
necessary_for_harm(n65,y).
necessary_for_harm(n66,n).
necessary_for_harm(n67,y).
necessary_for_harm(n68,n).
necessary_for_harm(n69,y).
necessary_for_harm(n70,y).
necessary_for_harm(n71,y).
necessary_for_harm(n72,y).
necessary_for_harm(n73,y).
necessary_for_harm(n74,n).
necessary_for_harm(n75,y).
necessary_for_harm(n76,n).
necessary_for_harm(n77,y).
necessary_for_harm(n78,y).
necessary_for_harm(n79,n).
necessary_for_harm(n80,y).
necessary_for_harm(n81,y).
necessary_for_harm(n82,y).
necessary_for_harm(n83,y).
necessary_for_harm(n84,y).
necessary_for_harm(n85,y).
necessary_for_harm(n86,y).
necessary_for_harm(n87,y).
necessary_for_harm(n88,n).
necessary_for_harm(n89,y).
necessary_for_harm(n90,y).
necessary_for_harm(n91,n).
necessary_for_harm(n92,y).
necessary_for_harm(n93,n).
necessary_for_harm(n94,y).
necessary_for_harm(n95,y).
necessary_for_harm(n96,y).
necessary_for_harm(n97,n).
necessary_for_harm(n98,n).
necessary_for_harm(n99,y).
mental_state(p0,negligent).
mental_state(p1,negligent).
mental_state(p2,negligent).
mental_state(p3,negligent).
mental_state(p4,negligent).
mental_state(p5,negligent).
mental_state(p6,negligent).
mental_state(p7,negligent).
mental_state(p8,negligent).
mental_state(p9,negligent).
mental_state(p10,negligent).
mental_state(p11,negligent).
mental_state(p12,reckless).
mental_state(p13,negligent).     
mental_state(p14,reckless).
mental_state(p15,negligent).
mental_state(p16,reckless).
mental_state(p17,neither).
mental_state(p18,reckless).   
mental_state(p19,reckless).
mental_state(p20,reckless).
mental_state(p21,reckless).
mental_state(p22,reckless).
mental_state(p23,reckless).
mental_state(p24,reckless).
mental_state(p25,reckless).
mental_state(p26,reckless).
mental_state(p27,reckless).
mental_state(p28,reckless).
mental_state(p29,reckless).
mental_state(p30,negligent).
mental_state(p31,neither).
mental_state(p32,negligent).
mental_state(p33,reckless).
mental_state(p34,negligent).
mental_state(p35,reckless).
mental_state(p36,intend).
mental_state(p37,intend).
mental_state(p38,intend).
mental_state(p39,intend).
mental_state(p40,intend).
mental_state(p41,intend).
mental_state(p42,intend).
mental_state(p43,intend).
mental_state(p44,intend).
mental_state(p45,intend).
mental_state(p46,intend).
mental_state(p47,intend).
mental_state(p48,neither).
mental_state(p49,reckless).
mental_state(p50,neither).
mental_state(p51,neither).
mental_state(p52,neither).
mental_state(p53,reckless).
mental_state(p54,reckless).
mental_state(p55,reckless).
mental_state(p56,negligent).
mental_state(p57,neither).
mental_state(p58,neither).
mental_state(p59,neither).
mental_state(p60,neither).
mental_state(p61,reckless).
mental_state(p62,neither).
mental_state(p63,reckless).
mental_state(p64,reckless).
mental_state(p65,negligent).
mental_state(p66,negligent).
mental_state(p67,reckless).
mental_state(p68,negligent).
mental_state(p69,neither).
mental_state(p70,negligent).
mental_state(p71,neither).
mental_state(p72,reckless).
mental_state(p73,neither).
mental_state(p74,negligent).
mental_state(p75,reckless).
mental_state(p76,negligent).
mental_state(p77,reckless).
mental_state(p78,reckless).
mental_state(p79,neither).
mental_state(p80,neither).
mental_state(p81,reckless).
mental_state(p82,negligent).
mental_state(p83,neither).
mental_state(p84,negligent).
mental_state(p85,reckless).
mental_state(p86,neither).
mental_state(p87,reckless).
mental_state(p88,neither).
mental_state(p89,neither).
mental_state(p90,neither).
mental_state(p91,negligent).
mental_state(p92,neither).
mental_state(p93,neither).
mental_state(p94,negligent).
mental_state(p95,reckless).
mental_state(p96,reckless).
mental_state(p97,negligent).
mental_state(p98,negligent).
mental_state(p99,reckless).
mental_state(p100,reckless).
mental_state(p101,negligent).
mental_state(n0,reckless).
mental_state(n1,neither).
mental_state(n2,neither).
mental_state(n3,neither).
mental_state(n4,reckless).
mental_state(n5,neither).
mental_state(n6,neither).
mental_state(n7,reckless).
mental_state(n8,reckless).
mental_state(n9,negligent).
mental_state(n10,negligent).
mental_state(n11,negligent).
mental_state(n12,negligent).
mental_state(n13,reckless).
mental_state(n14,reckless).
mental_state(n15,reckless).
mental_state(n16,neither).
mental_state(n17,negligent).
mental_state(n18,negligent).
mental_state(n19,negligent).
mental_state(n20,negligent).
mental_state(n21,neither).
mental_state(n22,neither).
mental_state(n23,negligent).
mental_state(n24,neither).
mental_state(n25,neither).
mental_state(n26,reckless).
mental_state(n27,neither).
mental_state(n28,negligent).
mental_state(n29,reckless).
mental_state(n30,neither).
mental_state(n31,reckless).
mental_state(n32,neither).
mental_state(n33,reckless).
mental_state(n34,neither).
mental_state(n35,negligent).
mental_state(n36,neither).
mental_state(n37,neither).
mental_state(n38,negligent).
mental_state(n39,negligent).
mental_state(n40,reckless).
mental_state(n41,neither).
mental_state(n42,negligent).
mental_state(n43,reckless).
mental_state(n44,negligent).
mental_state(n45,neither).
mental_state(n46,negligent).
mental_state(n47,negligent).
mental_state(n48,negligent).
mental_state(n49,neither).
mental_state(n50,negligent).
mental_state(n51,reckless).
mental_state(n52,neither).
mental_state(n53,negligent).
mental_state(n54,neither).
mental_state(n55,reckless).
mental_state(n56,reckless).
mental_state(n57,neither).
mental_state(n58,negligent).
mental_state(n59,neither).
mental_state(n60,neither).
mental_state(n61,reckless).
mental_state(n62,reckless).
mental_state(n63,neither).
mental_state(n64,negligent).
mental_state(n65,negligent).
mental_state(n66,negligent).
mental_state(n67,neither).
mental_state(n68,negligent).
mental_state(n69,reckless).
mental_state(n70,negligent).
mental_state(n71,neither).
mental_state(n72,neither).
mental_state(n73,neither).
mental_state(n74,reckless).
mental_state(n75,neither).
mental_state(n76,neither).
mental_state(n77,reckless).
mental_state(n78,neither).
mental_state(n79,reckless).
mental_state(n80,reckless).
mental_state(n81,neither).
mental_state(n82,negligent).
mental_state(n83,reckless).
mental_state(n84,reckless).
mental_state(n85,neither).
mental_state(n86,neither).
mental_state(n87,reckless).
mental_state(n88,reckless).
mental_state(n89,negligent).
mental_state(n90,neither).
mental_state(n91,negligent).
mental_state(n92,neither).
mental_state(n93,negligent).
mental_state(n94,neither).
mental_state(n95,neither).
mental_state(n96,reckless).
mental_state(n97,neither).
mental_state(n98,negligent).
mental_state(n99,reckless).
external_force(p0,n).
external_force(p1,n).
external_force(p2,n).
external_force(p3,n).
external_force(p4,n).
external_force(p5,n).
external_force(p6,n).
external_force(p7,n).
external_force(p8,n).
external_force(p9,n).
external_force(p10,n).
external_force(p11,n).
external_force(p12,n).
external_force(p13,n).
external_force(p14,n).
external_force(p15,n).
external_force(p16,n).
external_force(p17,n).
external_force(p18,n).
external_force(p19,n).
external_force(p20,n).
external_force(p21,n).
external_force(p22,n).
external_force(p23,n).
external_force(p24,n).
external_force(p25,n).
external_force(p26,n).
external_force(p27,n).
external_force(p28,n).
external_force(p29,n).
external_force(p30,n).
external_force(p31,n).
external_force(p32,n).
external_force(p33,n).
external_force(p34,n).
external_force(p35,n).
external_force(p36,n).
external_force(p37,n).
external_force(p38,n).
external_force(p39,n).
external_force(p40,n).
external_force(p41,n).
external_force(p42,n).
external_force(p43,n).
external_force(p44,n).
external_force(p45,n).
external_force(p46,n).
external_force(p47,n).
external_force(p48,n).
external_force(p49,n).
external_force(p50,n).
external_force(p51,n).
external_force(p52,n).
external_force(p53,n).
external_force(p54,n).
external_force(p55,n).
external_force(p56,n).
external_force(p57,n).
external_force(p58,n).
external_force(p59,n).
external_force(p60,n).
external_force(p61,n).
external_force(p62,n).
external_force(p63,n).
external_force(p64,n).
external_force(p65,n).
external_force(p66,n).
external_force(p67,n).
external_force(p68,n).
external_force(p69,n).
external_force(p70,n).
external_force(p71,n).
external_force(p72,n).
external_force(p73,n).
external_force(p74,n).
external_force(p75,n).
external_force(p76,n).
external_force(p77,n).
external_force(p78,n).
external_force(p79,n).
external_force(p80,n).
external_force(p81,n).
external_force(p82,n).
external_force(p83,n).
external_force(p84,n).
external_force(p85,n).
external_force(p86,n).
external_force(p87,n).
external_force(p88,n).
external_force(p89,n).
external_force(p90,n).
external_force(p91,n).
external_force(p92,n).
external_force(p93,n).
external_force(p94,n).
external_force(p95,n).
external_force(p96,y).
external_force(p97,n).
external_force(p98,y).
external_force(p99,y).
external_force(p100,n).
external_force(p101,y).
external_force(n0,n).
external_force(n1,n).
external_force(n2,n).
external_force(n3,n).
external_force(n4,n).
external_force(n5,y).
external_force(n6,y).
external_force(n7,n).
external_force(n8,y).
external_force(n9,n).
external_force(n10,n).
external_force(n11,y).
external_force(n12,n).
external_force(n13,y).
external_force(n14,n).
external_force(n15,n).
external_force(n16,n).
external_force(n17,y).
external_force(n18,n).
external_force(n19,n).
external_force(n20,n).
external_force(n21,n).
external_force(n22,n).
external_force(n23,n).
external_force(n24,n).
external_force(n25,y).
external_force(n26,n).
external_force(n27,y).
external_force(n28,n).
external_force(n29,y).
external_force(n30,n).
external_force(n31,n).
external_force(n32,n).
external_force(n33,y).
external_force(n34,n).
external_force(n35,y).
external_force(n36,n).
external_force(n37,y).
external_force(n38,y).
external_force(n39,n).
external_force(n40,n).
external_force(n41,n).
external_force(n42,y).
external_force(n43,y).
external_force(n44,y).
external_force(n45,y).
external_force(n46,n).
external_force(n47,y).
external_force(n48,n).
external_force(n49,n).
external_force(n50,n).
external_force(n51,y).
external_force(n52,y).
external_force(n53,n).
external_force(n54,n).
external_force(n55,y).
external_force(n56,y).
external_force(n57,y).
external_force(n58,n).
external_force(n59,y).
external_force(n60,y).
external_force(n61,y).
external_force(n62,n).
external_force(n63,n).
external_force(n64,n).
external_force(n65,y).
external_force(n66,y).
external_force(n67,y).
external_force(n68,y).
external_force(n69,y).
external_force(n70,y).
external_force(n71,y).
external_force(n72,y).
external_force(n73,y).
external_force(n74,n).
external_force(n75,n).
external_force(n76,y).
external_force(n77,n).
external_force(n78,n).
external_force(n79,n).
external_force(n80,y).
external_force(n81,y).
external_force(n82,n).
external_force(n83,y).
external_force(n84,y).
external_force(n85,y).
external_force(n86,n).
external_force(n87,y).
external_force(n88,y).
external_force(n89,n).
external_force(n90,y).
external_force(n91,y).
external_force(n92,y).
external_force(n93,y).
external_force(n94,n).
external_force(n95,n).
external_force(n96,y).
external_force(n97,y).
external_force(n98,y).
external_force(n99,n).
foreseeability(p0,high).
foreseeability(p1,high).
foreseeability(p2,high).
foreseeability(p3,high).
foreseeability(p4,high).
foreseeability(p5,high).
foreseeability(p6,low).
foreseeability(p7,low).
foreseeability(p8,low).
foreseeability(p9,low).
foreseeability(p10,low).
foreseeability(p11,low).
foreseeability(p12,low).
foreseeability(p13,low).
foreseeability(p14,low).
foreseeability(p15,low).
foreseeability(p16,low).
foreseeability(p17,low).
foreseeability(p18,high).
foreseeability(p19,high).
foreseeability(p20,high).
foreseeability(p21,high).
foreseeability(p22,high).
foreseeability(p23,high).
foreseeability(p24,low).
foreseeability(p25,low).
foreseeability(p26,low).
foreseeability(p27,low).
foreseeability(p28,low).
foreseeability(p29,low).
foreseeability(p30,high).
foreseeability(p31,high).
foreseeability(p32,high).
foreseeability(p33,high).
foreseeability(p34,high).
foreseeability(p35,high).
foreseeability(p36,high).
foreseeability(p37,high).
foreseeability(p38,high).
foreseeability(p39,high).
foreseeability(p40,high).
foreseeability(p41,high).
foreseeability(p42,low).
foreseeability(p43,low).
foreseeability(p44,low).
foreseeability(p45,low).
foreseeability(p46,low).
foreseeability(p47,low).
foreseeability(p48,high).
foreseeability(p49,high).
foreseeability(p50,high).
foreseeability(p51,high).
foreseeability(p52,high).
foreseeability(p53,high).
foreseeability(p54,low).
foreseeability(p55,low).
foreseeability(p56,low).
foreseeability(p57,low).
foreseeability(p58,low).
foreseeability(p59,low).
foreseeability(p60,high).
foreseeability(p61,high).
foreseeability(p62,high).
foreseeability(p63,high).
foreseeability(p64,high).
foreseeability(p65,high).
foreseeability(p66,low).
foreseeability(p67,low).
foreseeability(p68,low).
foreseeability(p69,low).
foreseeability(p70,low).
foreseeability(p71,low).
foreseeability(p72,high).
foreseeability(p73,high).
foreseeability(p74,high).
foreseeability(p75,high).
foreseeability(p76,high).
foreseeability(p77,high).
foreseeability(p78,low).
foreseeability(p79,low).
foreseeability(p80,low).
foreseeability(p81,low).
foreseeability(p82,low).
foreseeability(p83,low).
foreseeability(p84,high).
foreseeability(p85,high).
foreseeability(p86,high).
foreseeability(p87,high).
foreseeability(p88,high).
foreseeability(p89,high).
foreseeability(p90,low).
foreseeability(p91,low).
foreseeability(p92,low).
foreseeability(p93,low).
foreseeability(p94,low).
foreseeability(p95,low).
foreseeability(p96,low).
foreseeability(p97,n).
foreseeability(p98,high).
foreseeability(p99,low).
foreseeability(p100,n).
foreseeability(p101,low).
foreseeability(n0,high).
foreseeability(n1,low).
foreseeability(n2,low).
foreseeability(n3,low).
foreseeability(n4,low).
foreseeability(n5,low).
foreseeability(n6,high).
foreseeability(n7,high).
foreseeability(n8,low).
foreseeability(n9,low).
foreseeability(n10,high).
foreseeability(n11,high).
foreseeability(n12,low).
foreseeability(n13,low).
foreseeability(n14,high).
foreseeability(n15,high).
foreseeability(n16,high).
foreseeability(n17,low).
foreseeability(n18,high).
foreseeability(n19,low).
foreseeability(n20,high).
foreseeability(n21,high).
foreseeability(n22,low).
foreseeability(n23,high).
foreseeability(n24,low).
foreseeability(n25,high).
foreseeability(n26,low).
foreseeability(n27,high).
foreseeability(n28,low).
foreseeability(n29,high).
foreseeability(n30,high).
foreseeability(n31,high).
foreseeability(n32,low).
foreseeability(n33,low).
foreseeability(n34,high).
foreseeability(n35,low).
foreseeability(n36,low).
foreseeability(n37,high).
foreseeability(n38,low).
foreseeability(n39,high).
foreseeability(n40,low).
foreseeability(n41,low).
foreseeability(n42,low).
foreseeability(n43,low).
foreseeability(n44,low).
foreseeability(n45,low).
foreseeability(n46,high).
foreseeability(n47,high).
foreseeability(n48,low).
foreseeability(n49,high).
foreseeability(n50,high).
foreseeability(n51,low).
foreseeability(n52,low).
foreseeability(n53,low).
foreseeability(n54,low).
foreseeability(n55,high).
foreseeability(n56,low).
foreseeability(n57,low).
foreseeability(n58,low).
foreseeability(n59,low).
foreseeability(n60,low).
foreseeability(n61,low).
foreseeability(n62,low).
foreseeability(n63,high).
foreseeability(n64,high).
foreseeability(n65,low).
foreseeability(n66,low).
foreseeability(n67,high).
foreseeability(n68,high).
foreseeability(n69,high).
foreseeability(n70,high).
foreseeability(n71,high).
foreseeability(n72,high).
foreseeability(n73,low).
foreseeability(n74,high).
foreseeability(n75,high).
foreseeability(n76,low).
foreseeability(n77,high).
foreseeability(n78,low).
foreseeability(n79,high).
foreseeability(n80,low).
foreseeability(n81,high).
foreseeability(n82,low).
foreseeability(n83,high).
foreseeability(n84,low).
foreseeability(n85,low).
foreseeability(n86,low).
foreseeability(n87,high).
foreseeability(n88,low).
foreseeability(n89,high).
foreseeability(n90,high).
foreseeability(n91,high).
foreseeability(n92,high).
foreseeability(n93,low).
foreseeability(n94,low).
foreseeability(n95,low).
foreseeability(n96,low).
foreseeability(n97,high).
foreseeability(n98,high).
foreseeability(n99,high).
intervening_contribution(p0,n).
intervening_contribution(p1,n).
intervening_contribution(p2,n).
intervening_contribution(p3,n).
intervening_contribution(p4,n).
intervening_contribution(p5,n).
intervening_contribution(p6,n).
intervening_contribution(p7,y).
intervening_contribution(p8,n).
intervening_contribution(p9,n).
intervening_contribution(p10,n).
intervening_contribution(p11,n).
intervening_contribution(p12,n).
intervening_contribution(p13,n).
intervening_contribution(p14,n).
intervening_contribution(p15,y).
intervening_contribution(p16,n).
intervening_contribution(p17,n).
intervening_contribution(p18,n).
intervening_contribution(p19,n).
intervening_contribution(p20,n).
intervening_contribution(p21,y).
intervening_contribution(p22,n).
intervening_contribution(p23,y).
intervening_contribution(p24,y).
intervening_contribution(p25,n).
intervening_contribution(p26,n).
intervening_contribution(p27,n).
intervening_contribution(p28,n).
intervening_contribution(p29,n).
intervening_contribution(p30,n).
intervening_contribution(p31,y).
intervening_contribution(p32,y).
intervening_contribution(p33,y).
intervening_contribution(p34,y).
intervening_contribution(p35,n).
intervening_contribution(p36,n).
intervening_contribution(p37,y).
intervening_contribution(p38,n).
intervening_contribution(p39,n).
intervening_contribution(p40,n).
intervening_contribution(p41,n).
intervening_contribution(p42,n).
intervening_contribution(p43,y).
intervening_contribution(p44,n).
intervening_contribution(p45,n).
intervening_contribution(p46,n).
intervening_contribution(p47,y).
intervening_contribution(p48,n).
intervening_contribution(p49,y).
intervening_contribution(p50,n).
intervening_contribution(p51,n).
intervening_contribution(p52,n).
intervening_contribution(p53,n).
intervening_contribution(p54,n).
intervening_contribution(p55,n).
intervening_contribution(p56,n).
intervening_contribution(p57,n).
intervening_contribution(p58,n).
intervening_contribution(p59,n).
intervening_contribution(p60,n).
intervening_contribution(p61,y).
intervening_contribution(p62,n).
intervening_contribution(p63,n).
intervening_contribution(p64,n).
intervening_contribution(p65,n).
intervening_contribution(p66,n).
intervening_contribution(p67,y).
intervening_contribution(p68,y).
intervening_contribution(p69,n).
intervening_contribution(p70,y).
intervening_contribution(p71,y).
intervening_contribution(p72,n).
intervening_contribution(p73,n).
intervening_contribution(p74,n).
intervening_contribution(p75,n).
intervening_contribution(p76,n).
intervening_contribution(p77,n).
intervening_contribution(p78,n).
intervening_contribution(p79,n).
intervening_contribution(p80,n).
intervening_contribution(p81,n).
intervening_contribution(p82,y).
intervening_contribution(p83,n).
intervening_contribution(p84,n).
intervening_contribution(p85,n).
intervening_contribution(p86,n).
intervening_contribution(p87,n).
intervening_contribution(p88,n).
intervening_contribution(p89,n).
intervening_contribution(p90,n).
intervening_contribution(p91,y).
intervening_contribution(p92,n).
intervening_contribution(p93,n).
intervening_contribution(p94,n).
intervening_contribution(p95,y).
intervening_contribution(p96,n).
intervening_contribution(p97,y).
intervening_contribution(p98,y).
intervening_contribution(p99,y).
intervening_contribution(p100,y).
intervening_contribution(p101,n).
intervening_contribution(n0,n).
intervening_contribution(n1,y).
intervening_contribution(n2,y).
intervening_contribution(n3,y).
intervening_contribution(n4,n).
intervening_contribution(n5,y).
intervening_contribution(n6,y).
intervening_contribution(n7,y).
intervening_contribution(n8,y).
intervening_contribution(n9,n).
intervening_contribution(n10,n).
intervening_contribution(n11,n).
intervening_contribution(n12,y).
intervening_contribution(n13,y).
intervening_contribution(n14,n).
intervening_contribution(n15,n).
intervening_contribution(n16,y).
intervening_contribution(n17,y).
intervening_contribution(n18,y).
intervening_contribution(n19,y).
intervening_contribution(n20,n).
intervening_contribution(n21,n).
intervening_contribution(n22,n).
intervening_contribution(n23,y).
intervening_contribution(n24,y).
intervening_contribution(n25,n).
intervening_contribution(n26,n).
intervening_contribution(n27,y).
intervening_contribution(n28,y).
intervening_contribution(n29,y).
intervening_contribution(n30,y).
intervening_contribution(n31,n).
intervening_contribution(n32,n).
intervening_contribution(n33,n).
intervening_contribution(n34,y).
intervening_contribution(n35,n).
intervening_contribution(n36,y).
intervening_contribution(n37,y).
intervening_contribution(n38,n).
intervening_contribution(n39,n).
intervening_contribution(n40,y).
intervening_contribution(n41,n).
intervening_contribution(n42,y).
intervening_contribution(n43,y).
intervening_contribution(n44,n).
intervening_contribution(n45,n).
intervening_contribution(n46,n).
intervening_contribution(n47,y).
intervening_contribution(n48,n).
intervening_contribution(n49,n).
intervening_contribution(n50,y).
intervening_contribution(n51,n).
intervening_contribution(n52,y).
intervening_contribution(n53,n).
intervening_contribution(n54,y).
intervening_contribution(n55,y).
intervening_contribution(n56,y).
intervening_contribution(n57,y).
intervening_contribution(n58,n).
intervening_contribution(n59,y).
intervening_contribution(n60,n).
intervening_contribution(n61,n).
intervening_contribution(n62,n).
intervening_contribution(n63,y).
intervening_contribution(n64,n).
intervening_contribution(n65,n).
intervening_contribution(n66,n).
intervening_contribution(n67,n).
intervening_contribution(n68,y).
intervening_contribution(n69,y).
intervening_contribution(n70,y).
intervening_contribution(n71,y).
intervening_contribution(n72,y).
intervening_contribution(n73,y).
intervening_contribution(n74,n).
intervening_contribution(n75,y).
intervening_contribution(n76,y).
intervening_contribution(n77,n).
intervening_contribution(n78,y).
intervening_contribution(n79,n).
intervening_contribution(n80,n).
intervening_contribution(n81,y).
intervening_contribution(n82,y).
intervening_contribution(n83,y).
intervening_contribution(n84,y).
intervening_contribution(n85,y).
intervening_contribution(n86,y).
intervening_contribution(n87,y).
intervening_contribution(n88,n).
intervening_contribution(n89,y).
intervening_contribution(n90,y).
intervening_contribution(n91,n).
intervening_contribution(n92,n).
intervening_contribution(n93,n).
intervening_contribution(n94,n).
intervening_contribution(n95,y).
intervening_contribution(n96,y).
intervening_contribution(n97,y).
intervening_contribution(n98,y).
intervening_contribution(n99,y).
achieve_goal(p0,n).
achieve_goal(p1,n).
achieve_goal(p2,n).
achieve_goal(p3,n).
achieve_goal(p4,n).
achieve_goal(p5,n).
achieve_goal(p6,n).
achieve_goal(p7,n).
achieve_goal(p8,n).
achieve_goal(p9,n).
achieve_goal(p10,n).
achieve_goal(p11,n).
achieve_goal(p12,y).
achieve_goal(p13,y).
achieve_goal(p14,n).
achieve_goal(p15,n).
achieve_goal(p16,y).
achieve_goal(p17,n).
achieve_goal(p18,n).
achieve_goal(p19,n).
achieve_goal(p20,y).
achieve_goal(p21,n).
achieve_goal(p22,n).
achieve_goal(p23,n).
achieve_goal(p24,n).
achieve_goal(p25,n).
achieve_goal(p26,y).
achieve_goal(p27,n).
achieve_goal(p28,n).
achieve_goal(p29,n).
achieve_goal(p30,y).
achieve_goal(p31,n).
achieve_goal(p32,y).
achieve_goal(p33,n).
achieve_goal(p34,n).
achieve_goal(p35,y).
achieve_goal(p36,n).
achieve_goal(p37,y).
achieve_goal(p38,y).
achieve_goal(p39,y).
achieve_goal(p40,n).
achieve_goal(p41,n).
achieve_goal(p42,y).
achieve_goal(p43,n).
achieve_goal(p44,n).
achieve_goal(p45,y).
achieve_goal(p46,y).
achieve_goal(p47,n).
achieve_goal(p48,n).
achieve_goal(p49,n).
achieve_goal(p50,y).
achieve_goal(p51,n).
achieve_goal(p52,n).
achieve_goal(p53,n).
achieve_goal(p54,n).
achieve_goal(p55,y).
achieve_goal(p56,y).
achieve_goal(p57,n).
achieve_goal(p58,n).
achieve_goal(p59,n).
achieve_goal(p60,n).
achieve_goal(p61,y).
achieve_goal(p62,n).
achieve_goal(p63,n).
achieve_goal(p64,n).
achieve_goal(p65,n).
achieve_goal(p66,y).
achieve_goal(p67,y).
achieve_goal(p68,n).
achieve_goal(p69,n).
achieve_goal(p70,n).
achieve_goal(p71,n).
achieve_goal(p72,n).
achieve_goal(p73,y).
achieve_goal(p74,n).
achieve_goal(p75,n).
achieve_goal(p76,y).
achieve_goal(p77,n).
achieve_goal(p78,y).
achieve_goal(p79,n).
achieve_goal(p80,n).
achieve_goal(p81,n).
achieve_goal(p82,n).
achieve_goal(p83,y).
achieve_goal(p84,y).
achieve_goal(p85,n).
achieve_goal(p86,n).
achieve_goal(p87,n).
achieve_goal(p88,n).
achieve_goal(p89,n).
achieve_goal(p90,n).
achieve_goal(p91,n).
achieve_goal(p92,n).
achieve_goal(p93,n).
achieve_goal(p94,n).
achieve_goal(p95,y).
achieve_goal(p96,n).
achieve_goal(p97,y).
achieve_goal(p98,n).
achieve_goal(p99,n).
achieve_goal(p100,y).
achieve_goal(p101,n).
achieve_goal(n0,y).
achieve_goal(n1,n).
achieve_goal(n2,n).
achieve_goal(n3,n).
achieve_goal(n4,y).
achieve_goal(n5,n).
achieve_goal(n6,y).
achieve_goal(n7,n).
achieve_goal(n8,y).
achieve_goal(n9,n).
achieve_goal(n10,y).
achieve_goal(n11,n).
achieve_goal(n12,n).
achieve_goal(n13,y).
achieve_goal(n14,y).
achieve_goal(n15,n).
achieve_goal(n16,n).
achieve_goal(n17,n).
achieve_goal(n18,n).
achieve_goal(n19,y).
achieve_goal(n20,y).
achieve_goal(n21,y).
achieve_goal(n22,y).
achieve_goal(n23,y).
achieve_goal(n24,n).
achieve_goal(n25,y).
achieve_goal(n26,y).
achieve_goal(n27,n).
achieve_goal(n28,n).
achieve_goal(n29,n).
achieve_goal(n30,y).
achieve_goal(n31,y).
achieve_goal(n32,y).
achieve_goal(n33,n).
achieve_goal(n34,y).
achieve_goal(n35,n).
achieve_goal(n36,n).
achieve_goal(n37,y).
achieve_goal(n38,n).
achieve_goal(n39,n).
achieve_goal(n40,n).
achieve_goal(n41,y).
achieve_goal(n42,n).
achieve_goal(n43,n).
achieve_goal(n44,y).
achieve_goal(n45,n).
achieve_goal(n46,y).
achieve_goal(n47,n).
achieve_goal(n48,n).
achieve_goal(n49,n).
achieve_goal(n50,y).
achieve_goal(n51,n).
achieve_goal(n52,n).
achieve_goal(n53,n).
achieve_goal(n54,y).
achieve_goal(n55,y).
achieve_goal(n56,n).
achieve_goal(n57,n).
achieve_goal(n58,n).
achieve_goal(n59,y).
achieve_goal(n60,n).
achieve_goal(n61,n).
achieve_goal(n62,y).
achieve_goal(n63,y).
achieve_goal(n64,n).
achieve_goal(n65,n).
achieve_goal(n66,n).
achieve_goal(n67,n).
achieve_goal(n68,y).
achieve_goal(n69,n).
achieve_goal(n70,y).
achieve_goal(n71,n).
achieve_goal(n72,n).
achieve_goal(n73,n).
achieve_goal(n74,n).
achieve_goal(n75,n).
achieve_goal(n76,y).
achieve_goal(n77,y).
achieve_goal(n78,y).
achieve_goal(n79,y).
achieve_goal(n80,y).
achieve_goal(n81,y).
achieve_goal(n82,y).
achieve_goal(n83,y).
achieve_goal(n84,n).
achieve_goal(n85,y).
achieve_goal(n86,y).
achieve_goal(n87,y).
achieve_goal(n88,n).
achieve_goal(n89,y).
achieve_goal(n90,n).
achieve_goal(n91,y).
achieve_goal(n92,y).
achieve_goal(n93,y).
achieve_goal(n94,y).
achieve_goal(n95,n).
achieve_goal(n96,n).
achieve_goal(n97,y).
achieve_goal(n98,n).
achieve_goal(n99,y).
severity_harm(p0,1).
severity_harm(p1,1).
severity_harm(p2,1).
severity_harm(p3,1).
severity_harm(p4,1).
severity_harm(p5,1).
severity_harm(p6,1).
severity_harm(p7,1).
severity_harm(p8,1).
severity_harm(p9,1).
severity_harm(p10,1).
severity_harm(p11,1).
severity_harm(p12,1).
severity_harm(p13,1).
severity_harm(p14,1).
severity_harm(p15,1).
severity_harm(p16,1).
severity_harm(p17,1).
severity_harm(p18,1).
severity_harm(p19,1).
severity_harm(p20,1).
severity_harm(p21,1).
severity_harm(p22,1).
severity_harm(p23,1).
severity_harm(p24,1).
severity_harm(p25,1).
severity_harm(p26,1).
severity_harm(p27,1).
severity_harm(p28,1).
severity_harm(p29,1).
severity_harm(p30,1).
severity_harm(p31,1).
severity_harm(p32,1).
severity_harm(p33,1).
severity_harm(p34,1).
severity_harm(p35,1).
severity_harm(p36,1).
severity_harm(p37,1).
severity_harm(p38,1).
severity_harm(p39,1).
severity_harm(p40,1).
severity_harm(p41,1).
severity_harm(p42,1).
severity_harm(p43,1).
severity_harm(p44,1).
severity_harm(p45,1).
severity_harm(p46,1).
severity_harm(p47,1).
severity_harm(p48,1).
severity_harm(p49,1).
severity_harm(p50,1).
severity_harm(p51,1).
severity_harm(p52,1).
severity_harm(p53,1).
severity_harm(p54,1).
severity_harm(p55,1).
severity_harm(p56,1).
severity_harm(p57,1).
severity_harm(p58,1).
severity_harm(p59,1).
severity_harm(p60,1).
severity_harm(p61,1).
severity_harm(p62,1).
severity_harm(p63,1).
severity_harm(p64,1).
severity_harm(p65,1).
severity_harm(p66,1).
severity_harm(p67,1).
severity_harm(p68,1).
severity_harm(p69,1).
severity_harm(p70,1).
severity_harm(p71,1).
severity_harm(p72,1).
severity_harm(p73,1).
severity_harm(p74,1).
severity_harm(p75,1).
severity_harm(p76,1).
severity_harm(p77,1).
severity_harm(p78,1).
severity_harm(p79,1).
severity_harm(p80,1).
severity_harm(p81,1).
severity_harm(p82,1).
severity_harm(p83,1).
severity_harm(p84,1).
severity_harm(p85,1).
severity_harm(p86,1).
severity_harm(p87,1).
severity_harm(p88,1).
severity_harm(p89,1).
severity_harm(p90,1).
severity_harm(p91,1).
severity_harm(p92,1).
severity_harm(p93,1).
severity_harm(p94,1).
severity_harm(p95,1).
severity_harm(p96,1).
severity_harm(p97,1).
severity_harm(p98,1).
severity_harm(p99,1).
severity_harm(p100,1).
severity_harm(p101,1).
severity_harm(n0,0).
severity_harm(n1,0).
severity_harm(n2,1).
severity_harm(n3,0).
severity_harm(n4,0).
severity_harm(n5,1).
severity_harm(n6,1).
severity_harm(n7,1).
severity_harm(n8,1).
severity_harm(n9,0).
severity_harm(n10,0).
severity_harm(n11,1).
severity_harm(n12,0).
severity_harm(n13,1).
severity_harm(n14,1).
severity_harm(n15,0).
severity_harm(n16,0).
severity_harm(n17,1).
severity_harm(n18,1).
severity_harm(n19,0).
severity_harm(n20,1).
severity_harm(n21,0).
severity_harm(n22,0).
severity_harm(n23,1).
severity_harm(n24,0).
severity_harm(n25,0).
severity_harm(n26,0).
severity_harm(n27,0).
severity_harm(n28,1).
severity_harm(n29,0).
severity_harm(n30,0).
severity_harm(n31,1).
severity_harm(n32,0).
severity_harm(n33,1).
severity_harm(n34,1).
severity_harm(n35,1).
severity_harm(n36,0).
severity_harm(n37,1).
severity_harm(n38,0).
severity_harm(n39,0).
severity_harm(n40,0).
severity_harm(n41,0).
severity_harm(n42,0).
severity_harm(n43,1).
severity_harm(n44,0).
severity_harm(n45,1).
severity_harm(n46,0).
severity_harm(n47,0).
severity_harm(n48,1).
severity_harm(n49,0).
severity_harm(n50,1).
severity_harm(n51,0).
severity_harm(n52,0).
severity_harm(n53,0).
severity_harm(n54,0).
severity_harm(n55,0).
severity_harm(n56,1).
severity_harm(n57,1).
severity_harm(n58,0).
severity_harm(n59,0).
severity_harm(n60,0).
severity_harm(n61,0).
severity_harm(n62,0).
severity_harm(n63,0).
severity_harm(n64,0).
severity_harm(n65,1).
severity_harm(n66,1).
severity_harm(n67,1).
severity_harm(n68,0).
severity_harm(n69,0).
severity_harm(n70,0).
severity_harm(n71,0).
severity_harm(n72,1).
severity_harm(n73,1).
severity_harm(n74,0).
severity_harm(n75,1).
severity_harm(n76,1).
severity_harm(n77,0).
severity_harm(n78,1).
severity_harm(n79,0).
severity_harm(n80,1).
severity_harm(n81,1).
severity_harm(n82,0).
severity_harm(n83,1).
severity_harm(n84,1).
severity_harm(n85,0).
severity_harm(n86,1).
severity_harm(n87,1).
severity_harm(n88,0).
severity_harm(n89,1).
severity_harm(n90,1).
severity_harm(n91,1).
severity_harm(n92,0).
severity_harm(n93,0).
severity_harm(n94,1).
severity_harm(n95,0).
severity_harm(n96,1).
severity_harm(n97,1).
severity_harm(n98,1).
severity_harm(n99,0).
benefit_victim(p0,0).
benefit_victim(p1,0).
benefit_victim(p2,0).
benefit_victim(p3,0).
benefit_victim(p4,0).
benefit_victim(p5,0).
benefit_victim(p6,0).
benefit_victim(p7,0).
benefit_victim(p8,0).
benefit_victim(p9,0).
benefit_victim(p10,0).
benefit_victim(p11,0).
benefit_victim(p12,0).
benefit_victim(p13,0).
benefit_victim(p14,0).
benefit_victim(p15,0).
benefit_victim(p16,0).
benefit_victim(p17,0).
benefit_victim(p18,0).
benefit_victim(p19,0).
benefit_victim(p20,0).
benefit_victim(p21,0).
benefit_victim(p22,0).
benefit_victim(p23,0).
benefit_victim(p24,0).
benefit_victim(p25,0).
benefit_victim(p26,0).
benefit_victim(p27,0).
benefit_victim(p28,0).
benefit_victim(p29,0).
benefit_victim(p30,0).
benefit_victim(p31,0).
benefit_victim(p32,0).
benefit_victim(p33,0).
benefit_victim(p34,0).
benefit_victim(p35,0).
benefit_victim(p36,0).
benefit_victim(p37,0).
benefit_victim(p38,0).
benefit_victim(p39,0).
benefit_victim(p40,0).
benefit_victim(p41,0).
benefit_victim(p42,0).
benefit_victim(p43,0).
benefit_victim(p44,0).
benefit_victim(p45,0).
benefit_victim(p46,0).
benefit_victim(p47,0).
benefit_victim(p48,0).
benefit_victim(p49,0).
benefit_victim(p50,0).
benefit_victim(p51,0).
benefit_victim(p52,0).
benefit_victim(p53,0).
benefit_victim(p54,0).
benefit_victim(p55,0).
benefit_victim(p56,0).
benefit_victim(p57,0).
benefit_victim(p58,0).
benefit_victim(p59,0).
benefit_victim(p60,0).
benefit_victim(p61,0).
benefit_victim(p62,0).
benefit_victim(p63,0).
benefit_victim(p64,0).
benefit_victim(p65,0).
benefit_victim(p66,0).
benefit_victim(p67,0).
benefit_victim(p68,0).
benefit_victim(p69,0).
benefit_victim(p70,0).
benefit_victim(p71,0).
benefit_victim(p72,0).
benefit_victim(p73,0).
benefit_victim(p74,0).
benefit_victim(p75,0).
benefit_victim(p76,0).
benefit_victim(p77,0).
benefit_victim(p78,0).
benefit_victim(p79,0).
benefit_victim(p80,0).
benefit_victim(p81,0).
benefit_victim(p82,0).
benefit_victim(p83,0).
benefit_victim(p84,0).
benefit_victim(p85,0).
benefit_victim(p86,0).
benefit_victim(p87,0).
benefit_victim(p88,0).
benefit_victim(p89,0).
benefit_victim(p90,0).
benefit_victim(p91,0).
benefit_victim(p92,0).
benefit_victim(p93,0).
benefit_victim(p94,0).
benefit_victim(p95,0).
benefit_victim(p96,0).
benefit_victim(p97,0).
benefit_victim(p98,0).
benefit_victim(p99,0).
benefit_victim(p100,0).
benefit_victim(p101,0).
benefit_victim(n0,0).
benefit_victim(n1,1).
benefit_victim(n2,1).
benefit_victim(n3,1).
benefit_victim(n4,0).
benefit_victim(n5,1).
benefit_victim(n6,0).
benefit_victim(n7,1).
benefit_victim(n8,1).
benefit_victim(n9,0).
benefit_victim(n10,0).
benefit_victim(n11,0).
benefit_victim(n12,1).
benefit_victim(n13,0).
benefit_victim(n14,1).
benefit_victim(n15,0).
benefit_victim(n16,0).
benefit_victim(n17,0).
benefit_victim(n18,1).
benefit_victim(n19,1).
benefit_victim(n20,1).
benefit_victim(n21,1).
benefit_victim(n22,0).
benefit_victim(n23,1).
benefit_victim(n24,0).
benefit_victim(n25,1).
benefit_victim(n26,1).
benefit_victim(n27,0).
benefit_victim(n28,0).
benefit_victim(n29,0).
benefit_victim(n30,1).
benefit_victim(n31,1).
benefit_victim(n32,0).
benefit_victim(n33,1).
benefit_victim(n34,0).
benefit_victim(n35,0).
benefit_victim(n36,0).
benefit_victim(n37,0).
benefit_victim(n38,0).
benefit_victim(n39,0).
benefit_victim(n40,1).
benefit_victim(n41,0).
benefit_victim(n42,1).
benefit_victim(n43,1).
benefit_victim(n44,0).
benefit_victim(n45,1).
benefit_victim(n46,0).
benefit_victim(n47,1).
benefit_victim(n48,1).
benefit_victim(n49,0).
benefit_victim(n50,1).
benefit_victim(n51,0).
benefit_victim(n52,0).
benefit_victim(n53,0).
benefit_victim(n54,0).
benefit_victim(n55,0).
benefit_victim(n56,1).
benefit_victim(n57,0).
benefit_victim(n58,1).
benefit_victim(n59,0).
benefit_victim(n60,1).
benefit_victim(n61,1).
benefit_victim(n62,0).
benefit_victim(n63,0).
benefit_victim(n64,0).
benefit_victim(n65,0).
benefit_victim(n66,0).
benefit_victim(n67,0).
benefit_victim(n68,0).
benefit_victim(n69,0).
benefit_victim(n70,0).
benefit_victim(n71,1).
benefit_victim(n72,0).
benefit_victim(n73,0).
benefit_victim(n74,0).
benefit_victim(n75,0).
benefit_victim(n76,1).
benefit_victim(n77,0).
benefit_victim(n78,1).
benefit_victim(n79,1).
benefit_victim(n80,1).
benefit_victim(n81,1).
benefit_victim(n82,1).
benefit_victim(n83,1).
benefit_victim(n84,0).
benefit_victim(n85,1).
benefit_victim(n86,1).
benefit_victim(n87,0).
benefit_victim(n88,0).
benefit_victim(n89,0).
benefit_victim(n90,0).
benefit_victim(n91,1).
benefit_victim(n92,0).
benefit_victim(n93,0).
benefit_victim(n94,1).
benefit_victim(n95,0).
benefit_victim(n96,0).
benefit_victim(n97,1).
benefit_victim(n98,1).
benefit_victim(n99,1).
careful(p0,y).
careful(p1,n).
careful(p2,n).
careful(p3,n).
careful(p4,y).
careful(p5,y).
careful(p6,y).
careful(p7,n).
careful(p8,n).
careful(p9,n).
careful(p10,y).
careful(p11,n).
careful(p12,n).
careful(p13,n).
careful(p14,n).
careful(p15,n).
careful(p16,n).
careful(p17,n).
careful(p18,n).
careful(p19,y).
careful(p20,y).
careful(p21,n).
careful(p22,n).
careful(p23,y).
careful(p24,y).
careful(p25,n).
careful(p26,n).
careful(p27,y).
careful(p28,y).
careful(p29,y).
careful(p30,n).
careful(p31,n).
careful(p32,n).
careful(p33,n).
careful(p34,n).
careful(p35,n).
careful(p36,n).
careful(p37,n).
careful(p38,y).
careful(p39,y).
careful(p40,y).
careful(p41,n).
careful(p42,n).
careful(p43,y).
careful(p44,n).
careful(p45,y).
careful(p46,n).
careful(p47,y).
careful(p48,n).
careful(p49,y).
careful(p50,n).
careful(p51,y).
careful(p52,n).
careful(p53,n).
careful(p54,n).
careful(p55,n).
careful(p56,n).
careful(p57,y).
careful(p58,n).
careful(p59,y).
careful(p60,n).
careful(p61,n).
careful(p62,n).
careful(p63,y).
careful(p64,n).
careful(p65,y).
careful(p66,n).
careful(p67,n).
careful(p68,n).
careful(p69,y).
careful(p70,n).
careful(p71,y).
careful(p72,n).
careful(p73,y).
careful(p74,n).
careful(p75,n).
careful(p76,n).
careful(p77,n).
careful(p78,n).
careful(p79,n).
careful(p80,y).
careful(p81,n).
careful(p82,n).
careful(p83,n).
careful(p84,n).
careful(p85,n).
careful(p86,y).
careful(p87,y).
careful(p88,y).
careful(p89,y).
careful(p90,n).
careful(p91,y).
careful(p92,y).
careful(p93,n).
careful(p94,y).
careful(p95,n).
careful(p96,y).
careful(p97,y).
careful(p98,n).
careful(p99,y).
careful(p100,n).
careful(p101,n).
careful(n0,n).
careful(n1,n).
careful(n2,y).
careful(n3,y).
careful(n4,n).
careful(n5,y).
careful(n6,y).
careful(n7,n).
careful(n8,n).
careful(n9,n).
careful(n10,n).
careful(n11,y).
careful(n12,n).
careful(n13,n).
careful(n14,y).
careful(n15,y).
careful(n16,n).
careful(n17,y).
careful(n18,n).
careful(n19,y).
careful(n20,y).
careful(n21,n).
careful(n22,n).
careful(n23,y).
careful(n24,y).
careful(n25,y).
careful(n26,y).
careful(n27,n).
careful(n28,y).
careful(n29,y).
careful(n30,y).
careful(n31,y).
careful(n32,y).
careful(n33,n).
careful(n34,y).
careful(n35,y).
careful(n36,n).
careful(n37,n).
careful(n38,n).
careful(n39,y).
careful(n40,n).
careful(n41,y).
careful(n42,y).
careful(n43,y).
careful(n44,n).
careful(n45,n).
careful(n46,n).
careful(n47,y).
careful(n48,n).
careful(n49,n).
careful(n50,y).
careful(n51,n).
careful(n52,n).
careful(n53,n).
careful(n54,y).
careful(n55,y).
careful(n56,n).
careful(n57,y).
careful(n58,n).
careful(n59,n).
careful(n60,y).
careful(n61,y).
careful(n62,y).
careful(n63,n).
careful(n64,n).
careful(n65,y).
careful(n66,n).
careful(n67,n).
careful(n68,y).
careful(n69,y).
careful(n70,y).
careful(n71,n).
careful(n72,n).
careful(n73,n).
careful(n74,n).
careful(n75,n).
careful(n76,n).
careful(n77,n).
careful(n78,n).
careful(n79,n).
careful(n80,n).
careful(n81,y).
careful(n82,n).
careful(n83,n).
careful(n84,n).
careful(n85,y).
careful(n86,n).
careful(n87,y).
careful(n88,y).
careful(n89,y).
careful(n90,n).
careful(n91,y).
careful(n92,y).
careful(n93,y).
careful(n94,y).
careful(n95,y).
careful(n96,n).
careful(n97,n).
careful(n98,y).
careful(n99,n).
benefit_protagonist(p0,y).
benefit_protagonist(p1,y).
benefit_protagonist(p2,y).
benefit_protagonist(p3,y).
benefit_protagonist(p4,n).
benefit_protagonist(p5,n).
benefit_protagonist(p6,y).
benefit_protagonist(p7,y).
benefit_protagonist(p8,n).
benefit_protagonist(p9,n).
benefit_protagonist(p10,y).
benefit_protagonist(p11,y).
benefit_protagonist(p12,n).
benefit_protagonist(p13,y).
benefit_protagonist(p14,n).
benefit_protagonist(p15,y).
benefit_protagonist(p16,n).
benefit_protagonist(p17,n).
benefit_protagonist(p18,n).
benefit_protagonist(p19,n).
benefit_protagonist(p20,n).
benefit_protagonist(p21,n).
benefit_protagonist(p22,y).
benefit_protagonist(p23,y).
benefit_protagonist(p24,n).
benefit_protagonist(p25,n).
benefit_protagonist(p26,y).
benefit_protagonist(p27,y).
benefit_protagonist(p28,y).
benefit_protagonist(p29,n).
benefit_protagonist(p30,y).
benefit_protagonist(p31,n).
benefit_protagonist(p32,y).
benefit_protagonist(p33,y).
benefit_protagonist(p34,n).
benefit_protagonist(p35,y).
benefit_protagonist(p36,n).
benefit_protagonist(p37,n).
benefit_protagonist(p38,y).
benefit_protagonist(p39,n).
benefit_protagonist(p40,y).
benefit_protagonist(p41,y).
benefit_protagonist(p42,n).
benefit_protagonist(p43,y).
benefit_protagonist(p44,y).
benefit_protagonist(p45,n).
benefit_protagonist(p46,y).
benefit_protagonist(p47,y).
benefit_protagonist(p48,n).
benefit_protagonist(p49,y).
benefit_protagonist(p50,n).
benefit_protagonist(p51,n).
benefit_protagonist(p52,n).
benefit_protagonist(p53,n).
benefit_protagonist(p54,n).
benefit_protagonist(p55,y).
benefit_protagonist(p56,n).
benefit_protagonist(p57,n).
benefit_protagonist(p58,y).
benefit_protagonist(p59,n).
benefit_protagonist(p60,y).
benefit_protagonist(p61,y).
benefit_protagonist(p62,y).
benefit_protagonist(p63,y).
benefit_protagonist(p64,n).
benefit_protagonist(p65,n).
benefit_protagonist(p66,y).
benefit_protagonist(p67,y).
benefit_protagonist(p68,n).
benefit_protagonist(p69,n).
benefit_protagonist(p70,n).
benefit_protagonist(p71,y).
benefit_protagonist(p72,y).
benefit_protagonist(p73,y).
benefit_protagonist(p74,y).
benefit_protagonist(p75,y).
benefit_protagonist(p76,y).
benefit_protagonist(p77,y).
benefit_protagonist(p78,y).
benefit_protagonist(p79,y).
benefit_protagonist(p80,y).
benefit_protagonist(p81,y).
benefit_protagonist(p82,y).
benefit_protagonist(p83,y).
benefit_protagonist(p84,n).
benefit_protagonist(p85,y).
benefit_protagonist(p86,y).
benefit_protagonist(p87,y).
benefit_protagonist(p88,y).
benefit_protagonist(p89,y).
benefit_protagonist(p90,n).
benefit_protagonist(p91,y).
benefit_protagonist(p92,n).
benefit_protagonist(p93,y).
benefit_protagonist(p94,n).
benefit_protagonist(p95,n).
benefit_protagonist(p96,y).
benefit_protagonist(p97,y).
benefit_protagonist(p98,y).
benefit_protagonist(p99,y).
benefit_protagonist(p100,n).
benefit_protagonist(p101,y).
benefit_protagonist(n0,n).
benefit_protagonist(n1,n).
benefit_protagonist(n2,y).
benefit_protagonist(n3,n).
benefit_protagonist(n4,n).
benefit_protagonist(n5,n).
benefit_protagonist(n6,y).
benefit_protagonist(n7,y).
benefit_protagonist(n8,n).
benefit_protagonist(n9,y).
benefit_protagonist(n10,n).
benefit_protagonist(n11,y).
benefit_protagonist(n12,n).
benefit_protagonist(n13,y).
benefit_protagonist(n14,y).
benefit_protagonist(n15,y).
benefit_protagonist(n16,y).
benefit_protagonist(n17,n).
benefit_protagonist(n18,n).
benefit_protagonist(n19,n).
benefit_protagonist(n20,y).
benefit_protagonist(n21,y).
benefit_protagonist(n22,n).
benefit_protagonist(n23,n).
benefit_protagonist(n24,n).
benefit_protagonist(n25,y).
benefit_protagonist(n26,n).
benefit_protagonist(n27,n).
benefit_protagonist(n28,y).
benefit_protagonist(n29,n).
benefit_protagonist(n30,y).
benefit_protagonist(n31,y).
benefit_protagonist(n32,y).
benefit_protagonist(n33,y).
benefit_protagonist(n34,y).
benefit_protagonist(n35,n).
benefit_protagonist(n36,n).
benefit_protagonist(n37,n).
benefit_protagonist(n38,n).
benefit_protagonist(n39,y).
benefit_protagonist(n40,n).
benefit_protagonist(n41,n).
benefit_protagonist(n42,n).
benefit_protagonist(n43,y).
benefit_protagonist(n44,y).
benefit_protagonist(n45,n).
benefit_protagonist(n46,y).
benefit_protagonist(n47,y).
benefit_protagonist(n48,y).
benefit_protagonist(n49,n).
benefit_protagonist(n50,n).
benefit_protagonist(n51,n).
benefit_protagonist(n52,y).
benefit_protagonist(n53,n).
benefit_protagonist(n54,n).
benefit_protagonist(n55,n).
benefit_protagonist(n56,n).
benefit_protagonist(n57,n).
benefit_protagonist(n58,n).
benefit_protagonist(n59,n).
benefit_protagonist(n60,y).
benefit_protagonist(n61,y).
benefit_protagonist(n62,n).
benefit_protagonist(n63,y).
benefit_protagonist(n64,n).
benefit_protagonist(n65,n).
benefit_protagonist(n66,n).
benefit_protagonist(n67,n).
benefit_protagonist(n68,y).
benefit_protagonist(n69,y).
benefit_protagonist(n70,y).
benefit_protagonist(n71,y).
benefit_protagonist(n72,n).
benefit_protagonist(n73,y).
benefit_protagonist(n74,n).
benefit_protagonist(n75,y).
benefit_protagonist(n76,y).
benefit_protagonist(n77,y).
benefit_protagonist(n78,y).
benefit_protagonist(n79,y).
benefit_protagonist(n80,y).
benefit_protagonist(n81,y).
benefit_protagonist(n82,n).
benefit_protagonist(n83,y).
benefit_protagonist(n84,y).
benefit_protagonist(n85,n).
benefit_protagonist(n86,y).
benefit_protagonist(n87,n).
benefit_protagonist(n88,n).
benefit_protagonist(n89,y).
benefit_protagonist(n90,n).
benefit_protagonist(n91,y).
benefit_protagonist(n92,y).
benefit_protagonist(n93,y).
benefit_protagonist(n94,y).
benefit_protagonist(n95,y).
benefit_protagonist(n96,y).
benefit_protagonist(n97,y).
benefit_protagonist(n98,n).
benefit_protagonist(n99,n).
control_perpetrator(p0,y).
control_perpetrator(p1,y).
control_perpetrator(p2,y).
control_perpetrator(p3,y).
control_perpetrator(p4,n).
control_perpetrator(p5,y).
control_perpetrator(p6,n).
control_perpetrator(p7,n).
control_perpetrator(p8,y).
control_perpetrator(p9,y).
control_perpetrator(p10,n).
control_perpetrator(p11,n).
control_perpetrator(p12,y).
control_perpetrator(p13,n).
control_perpetrator(p14,y).
control_perpetrator(p15,y).
control_perpetrator(p16,y).
control_perpetrator(p17,n).
control_perpetrator(p18,y).
control_perpetrator(p19,n).
control_perpetrator(p20,n).
control_perpetrator(p21,n).
control_perpetrator(p22,y).
control_perpetrator(p23,y).
control_perpetrator(p24,n).
control_perpetrator(p25,y).
control_perpetrator(p26,n).
control_perpetrator(p27,y).
control_perpetrator(p28,y).
control_perpetrator(p29,n).
control_perpetrator(p30,n).
control_perpetrator(p31,y).
control_perpetrator(p32,y).
control_perpetrator(p33,y).
control_perpetrator(p34,y).
control_perpetrator(p35,n).
control_perpetrator(p36,y).
control_perpetrator(p37,n).
control_perpetrator(p38,y).
control_perpetrator(p39,n).
control_perpetrator(p40,n).
control_perpetrator(p41,n).
control_perpetrator(p42,n).
control_perpetrator(p43,y).
control_perpetrator(p44,y).
control_perpetrator(p45,y).
control_perpetrator(p46,y).
control_perpetrator(p47,n).
control_perpetrator(p48,n).
control_perpetrator(p49,n).
control_perpetrator(p50,n).
control_perpetrator(p51,n).
control_perpetrator(p52,y).
control_perpetrator(p53,n).
control_perpetrator(p54,y).
control_perpetrator(p55,n).
control_perpetrator(p56,y).
control_perpetrator(p57,n).
control_perpetrator(p58,y).
control_perpetrator(p59,y).
control_perpetrator(p60,y).
control_perpetrator(p61,n).
control_perpetrator(p62,y).
control_perpetrator(p63,y).
control_perpetrator(p64,y).
control_perpetrator(p65,y).
control_perpetrator(p66,n).
control_perpetrator(p67,n).
control_perpetrator(p68,n).
control_perpetrator(p69,y).
control_perpetrator(p70,y).
control_perpetrator(p71,y).
control_perpetrator(p72,n).
control_perpetrator(p73,y).
control_perpetrator(p74,n).
control_perpetrator(p75,y).
control_perpetrator(p76,y).
control_perpetrator(p77,y).
control_perpetrator(p78,y).
control_perpetrator(p79,n).
control_perpetrator(p80,y).
control_perpetrator(p81,n).
control_perpetrator(p82,n).
control_perpetrator(p83,y).
control_perpetrator(p84,n).
control_perpetrator(p85,y).
control_perpetrator(p86,n).
control_perpetrator(p87,n).
control_perpetrator(p88,y).
control_perpetrator(p89,n).
control_perpetrator(p90,y).
control_perpetrator(p91,n).
control_perpetrator(p92,y).
control_perpetrator(p93,y).
control_perpetrator(p94,n).
control_perpetrator(p95,y).
control_perpetrator(p96,y).
control_perpetrator(p97,y).
control_perpetrator(p98,y).
control_perpetrator(p99,y).
control_perpetrator(p100,y).
control_perpetrator(p101,y).
control_perpetrator(n0,y).
control_perpetrator(n1,y).
control_perpetrator(n2,n).
control_perpetrator(n3,n).
control_perpetrator(n4,n).
control_perpetrator(n5,n).
control_perpetrator(n6,y).
control_perpetrator(n7,y).
control_perpetrator(n8,y).
control_perpetrator(n9,n).
control_perpetrator(n10,n).
control_perpetrator(n11,y).
control_perpetrator(n12,n).
control_perpetrator(n13,y).
control_perpetrator(n14,y).
control_perpetrator(n15,y).
control_perpetrator(n16,n).
control_perpetrator(n17,n).
control_perpetrator(n18,y).
control_perpetrator(n19,y).
control_perpetrator(n20,n).
control_perpetrator(n21,n).
control_perpetrator(n22,n).
control_perpetrator(n23,y).
control_perpetrator(n24,y).
control_perpetrator(n25,n).
control_perpetrator(n26,y).
control_perpetrator(n27,y).
control_perpetrator(n28,n).
control_perpetrator(n29,y).
control_perpetrator(n30,n).
control_perpetrator(n31,n).
control_perpetrator(n32,n).
control_perpetrator(n33,n).
control_perpetrator(n34,n).
control_perpetrator(n35,n).
control_perpetrator(n36,y).
control_perpetrator(n37,y).
control_perpetrator(n38,n).
control_perpetrator(n39,y).
control_perpetrator(n40,n).
control_perpetrator(n41,y).
control_perpetrator(n42,n).
control_perpetrator(n43,n).
control_perpetrator(n44,y).
control_perpetrator(n45,y).
control_perpetrator(n46,y).
control_perpetrator(n47,y).
control_perpetrator(n48,n).
control_perpetrator(n49,n).
control_perpetrator(n50,n).
control_perpetrator(n51,y).
control_perpetrator(n52,y).
control_perpetrator(n53,y).
control_perpetrator(n54,y).
control_perpetrator(n55,y).
control_perpetrator(n56,n).
control_perpetrator(n57,y).
control_perpetrator(n58,y).
control_perpetrator(n59,y).
control_perpetrator(n60,y).
control_perpetrator(n61,n).
control_perpetrator(n62,n).
control_perpetrator(n63,n).
control_perpetrator(n64,y).
control_perpetrator(n65,y).
control_perpetrator(n66,y).
control_perpetrator(n67,y).
control_perpetrator(n68,n).
control_perpetrator(n69,y).
control_perpetrator(n70,n).
control_perpetrator(n71,n).
control_perpetrator(n72,y).
control_perpetrator(n73,n).
control_perpetrator(n74,n).
control_perpetrator(n75,y).
control_perpetrator(n76,n).
control_perpetrator(n77,y).
control_perpetrator(n78,n).
control_perpetrator(n79,n).
control_perpetrator(n80,n).
control_perpetrator(n81,y).
control_perpetrator(n82,n).
control_perpetrator(n83,y).
control_perpetrator(n84,n).
control_perpetrator(n85,y).
control_perpetrator(n86,y).
control_perpetrator(n87,n).
control_perpetrator(n88,y).
control_perpetrator(n89,n).
control_perpetrator(n90,n).
control_perpetrator(n91,n).
control_perpetrator(n92,y).
control_perpetrator(n93,n).
control_perpetrator(n94,n).
control_perpetrator(n95,y).
control_perpetrator(n96,n).
control_perpetrator(n97,y).
control_perpetrator(n98,n).
control_perpetrator(n99,n).
external_cause(p0,n).
external_cause(p1,n).
external_cause(p2,y).
external_cause(p3,n).
external_cause(p4,y).
external_cause(p5,n).
external_cause(p6,y).
external_cause(p7,n).
external_cause(p8,y).
external_cause(p9,y).
external_cause(p10,n).
external_cause(p11,n).
external_cause(p12,n).
external_cause(p13,n).
external_cause(p14,n).
external_cause(p15,y).
external_cause(p16,y).
external_cause(p17,n).
external_cause(p18,y).
external_cause(p19,n).
external_cause(p20,n).
external_cause(p21,n).
external_cause(p22,y).
external_cause(p23,y).
external_cause(p24,n).
external_cause(p25,n).
external_cause(p26,y).
external_cause(p27,y).
external_cause(p28,n).
external_cause(p29,y).
external_cause(p30,n).
external_cause(p31,y).
external_cause(p32,n).
external_cause(p33,n).
external_cause(p34,n).
external_cause(p35,n).
external_cause(p36,y).
external_cause(p37,n).
external_cause(p38,n).
external_cause(p39,n).
external_cause(p40,y).
external_cause(p41,y).
external_cause(p42,y).
external_cause(p43,y).
external_cause(p44,y).
external_cause(p45,n).
external_cause(p46,y).
external_cause(p47,n).
external_cause(p48,n).
external_cause(p49,n).
external_cause(p50,y).
external_cause(p51,y).
external_cause(p52,n).
external_cause(p53,y).
external_cause(p54,y).
external_cause(p55,y).
external_cause(p56,n).
external_cause(p57,n).
external_cause(p58,n).
external_cause(p59,y).
external_cause(p60,n).
external_cause(p61,y).
external_cause(p62,n).
external_cause(p63,y).
external_cause(p64,n).
external_cause(p65,n).
external_cause(p66,y).
external_cause(p67,y).
external_cause(p68,n).
external_cause(p69,n).
external_cause(p70,n).
external_cause(p71,y).
external_cause(p72,y).
external_cause(p73,n).
external_cause(p74,n).
external_cause(p75,y).
external_cause(p76,y).
external_cause(p77,n).
external_cause(p78,n).
external_cause(p79,n).
external_cause(p80,n).
external_cause(p81,n).
external_cause(p82,y).
external_cause(p83,n).
external_cause(p84,n).
external_cause(p85,n).
external_cause(p86,n).
external_cause(p87,n).
external_cause(p88,n).
external_cause(p89,n).
external_cause(p90,n).
external_cause(p91,n).
external_cause(p92,n).
external_cause(p93,n).
external_cause(p94,n).
external_cause(p95,n).
external_cause(p96,n).
external_cause(p97,y).
external_cause(p98,n).
external_cause(p99,y).
external_cause(p100,y).
external_cause(p101,y).
external_cause(n0,y).
external_cause(n1,n).
external_cause(n2,y).
external_cause(n3,y).
external_cause(n4,y).
external_cause(n5,n).
external_cause(n6,n).
external_cause(n7,y).
external_cause(n8,y).
external_cause(n9,n).
external_cause(n10,n).
external_cause(n11,n).
external_cause(n12,y).
external_cause(n13,n).
external_cause(n14,y).
external_cause(n15,n).
external_cause(n16,y).
external_cause(n17,y).
external_cause(n18,n).
external_cause(n19,n).
external_cause(n20,n).
external_cause(n21,y).
external_cause(n22,y).
external_cause(n23,y).
external_cause(n24,y).
external_cause(n25,y).
external_cause(n26,y).
external_cause(n27,n).
external_cause(n28,y).
external_cause(n29,y).
external_cause(n30,n).
external_cause(n31,n).
external_cause(n32,y).
external_cause(n33,n).
external_cause(n34,y).
external_cause(n35,y).
external_cause(n36,y).
external_cause(n37,n).
external_cause(n38,n).
external_cause(n39,n).
external_cause(n40,y).
external_cause(n41,n).
external_cause(n42,n).
external_cause(n43,y).
external_cause(n44,y).
external_cause(n45,y).
external_cause(n46,y).
external_cause(n47,y).
external_cause(n48,y).
external_cause(n49,y).
external_cause(n50,n).
external_cause(n51,n).
external_cause(n52,y).
external_cause(n53,y).
external_cause(n54,n).
external_cause(n55,n).
external_cause(n56,y).
external_cause(n57,y).
external_cause(n58,y).
external_cause(n59,n).
external_cause(n60,y).
external_cause(n61,n).
external_cause(n62,y).
external_cause(n63,y).
external_cause(n64,y).
external_cause(n65,n).
external_cause(n66,y).
external_cause(n67,n).
external_cause(n68,n).
external_cause(n69,y).
external_cause(n70,y).
external_cause(n71,y).
external_cause(n72,y).
external_cause(n73,y).
external_cause(n74,n).
external_cause(n75,n).
external_cause(n76,n).
external_cause(n77,n).
external_cause(n78,y).
external_cause(n79,n).
external_cause(n80,n).
external_cause(n81,y).
external_cause(n82,n).
external_cause(n83,n).
external_cause(n84,n).
external_cause(n85,y).
external_cause(n86,y).
external_cause(n87,n).
external_cause(n88,y).
external_cause(n89,n).
external_cause(n90,n).
external_cause(n91,n).
external_cause(n92,y).
external_cause(n93,y).
external_cause(n94,y).
external_cause(n95,n).
external_cause(n96,y).
external_cause(n97,y).
external_cause(n98,n).
external_cause(n99,n).
foresee_intervention(p0,y).
foresee_intervention(p1,y).
foresee_intervention(p2,n).
foresee_intervention(p3,y).
foresee_intervention(p4,y).
foresee_intervention(p5,y).
foresee_intervention(p6,y).
foresee_intervention(p7,y).
foresee_intervention(p8,y).
foresee_intervention(p9,y).
foresee_intervention(p10,y).
foresee_intervention(p11,y).
foresee_intervention(p12,y).
foresee_intervention(p13,n).
foresee_intervention(p14,y).
foresee_intervention(p15,y).
foresee_intervention(p16,n).
foresee_intervention(p17,y).
foresee_intervention(p18,y).
foresee_intervention(p19,n).
foresee_intervention(p20,n).
foresee_intervention(p21,y).
foresee_intervention(p22,y).
foresee_intervention(p23,y).
foresee_intervention(p24,y).
foresee_intervention(p25,n).
foresee_intervention(p26,n).
foresee_intervention(p27,y).
foresee_intervention(p28,y).
foresee_intervention(p29,n).
foresee_intervention(p30,n).
foresee_intervention(p31,y).
foresee_intervention(p32,y).
foresee_intervention(p33,y).
foresee_intervention(p34,y).
foresee_intervention(p35,n).
foresee_intervention(p36,y).
foresee_intervention(p37,y).
foresee_intervention(p38,y).
foresee_intervention(p39,y).
foresee_intervention(p40,y).
foresee_intervention(p41,y).
foresee_intervention(p42,n).
foresee_intervention(p43,y).
foresee_intervention(p44,n).
foresee_intervention(p45,y).
foresee_intervention(p46,y).
foresee_intervention(p47,y).
foresee_intervention(p48,y).
foresee_intervention(p49,y).
foresee_intervention(p50,y).
foresee_intervention(p51,y).
foresee_intervention(p52,y).
foresee_intervention(p53,y).
foresee_intervention(p54,n).
foresee_intervention(p55,n).
foresee_intervention(p56,y).
foresee_intervention(p57,n).
foresee_intervention(p58,n).
foresee_intervention(p59,n).
foresee_intervention(p60,n).
foresee_intervention(p61,y).
foresee_intervention(p62,y).
foresee_intervention(p63,y).
foresee_intervention(p64,y).
foresee_intervention(p65,n).
foresee_intervention(p66,n).
foresee_intervention(p67,y).
foresee_intervention(p68,y).
foresee_intervention(p69,y).
foresee_intervention(p70,y).
foresee_intervention(p71,y).
foresee_intervention(p72,y).
foresee_intervention(p73,y).
foresee_intervention(p74,y).
foresee_intervention(p75,n).
foresee_intervention(p76,n).
foresee_intervention(p77,y).
foresee_intervention(p78,y).
foresee_intervention(p79,n).
foresee_intervention(p80,y).
foresee_intervention(p81,y).
foresee_intervention(p82,y).
foresee_intervention(p83,n).
foresee_intervention(p84,y).
foresee_intervention(p85,y).
foresee_intervention(p86,y).
foresee_intervention(p87,n).
foresee_intervention(p88,y).
foresee_intervention(p89,y).
foresee_intervention(p90,n).
foresee_intervention(p91,y).
foresee_intervention(p92,y).
foresee_intervention(p93,y).
foresee_intervention(p94,y).
foresee_intervention(p95,y).
foresee_intervention(p96,n).
foresee_intervention(p97,y).
foresee_intervention(p98,n).
foresee_intervention(p99,n).
foresee_intervention(p100,y).
foresee_intervention(p101,n).
foresee_intervention(n0,y).
foresee_intervention(n1,n).
foresee_intervention(n2,n).
foresee_intervention(n3,y).
foresee_intervention(n4,n).
foresee_intervention(n5,y).
foresee_intervention(n6,y).
foresee_intervention(n7,n).
foresee_intervention(n8,n).
foresee_intervention(n9,y).
foresee_intervention(n10,y).
foresee_intervention(n11,y).
foresee_intervention(n12,y).
foresee_intervention(n13,y).
foresee_intervention(n14,n).
foresee_intervention(n15,y).
foresee_intervention(n16,y).
foresee_intervention(n17,y).
foresee_intervention(n18,n).
foresee_intervention(n19,y).
foresee_intervention(n20,n).
foresee_intervention(n21,y).
foresee_intervention(n22,y).
foresee_intervention(n23,n).
foresee_intervention(n24,y).
foresee_intervention(n25,y).
foresee_intervention(n26,n).
foresee_intervention(n27,y).
foresee_intervention(n28,n).
foresee_intervention(n29,n).
foresee_intervention(n30,y).
foresee_intervention(n31,y).
foresee_intervention(n32,n).
foresee_intervention(n33,y).
foresee_intervention(n34,n).
foresee_intervention(n35,y).
foresee_intervention(n36,y).
foresee_intervention(n37,y).
foresee_intervention(n38,n).
foresee_intervention(n39,y).
foresee_intervention(n40,y).
foresee_intervention(n41,y).
foresee_intervention(n42,n).
foresee_intervention(n43,y).
foresee_intervention(n44,n).
foresee_intervention(n45,y).
foresee_intervention(n46,n).
foresee_intervention(n47,n).
foresee_intervention(n48,y).
foresee_intervention(n49,n).
foresee_intervention(n50,n).
foresee_intervention(n51,y).
foresee_intervention(n52,n).
foresee_intervention(n53,y).
foresee_intervention(n54,y).
foresee_intervention(n55,y).
foresee_intervention(n56,n).
foresee_intervention(n57,y).
foresee_intervention(n58,n).
foresee_intervention(n59,n).
foresee_intervention(n60,y).
foresee_intervention(n61,n).
foresee_intervention(n62,y).
foresee_intervention(n63,n).
foresee_intervention(n64,n).
foresee_intervention(n65,y).
foresee_intervention(n66,y).
foresee_intervention(n67,n).
foresee_intervention(n68,y).
foresee_intervention(n69,y).
foresee_intervention(n70,n).
foresee_intervention(n71,n).
foresee_intervention(n72,n).
foresee_intervention(n73,n).
foresee_intervention(n74,n).
foresee_intervention(n75,n).
foresee_intervention(n76,y).
foresee_intervention(n77,n).
foresee_intervention(n78,y).
foresee_intervention(n79,y).
foresee_intervention(n80,y).
foresee_intervention(n81,y).
foresee_intervention(n82,y).
foresee_intervention(n83,y).
foresee_intervention(n84,y).
foresee_intervention(n85,y).
foresee_intervention(n86,n).
foresee_intervention(n87,y).
foresee_intervention(n88,y).
foresee_intervention(n89,n).
foresee_intervention(n90,n).
foresee_intervention(n91,n).
foresee_intervention(n92,n).
foresee_intervention(n93,n).
foresee_intervention(n94,y).
foresee_intervention(n95,y).
foresee_intervention(n96,n).
foresee_intervention(n97,y).
foresee_intervention(n98,n).
foresee_intervention(n99,y).
goal_achieveable_less_harmful(p0,n).
goal_achieveable_less_harmful(p1,y).
goal_achieveable_less_harmful(p2,n).
goal_achieveable_less_harmful(p3,y).
goal_achieveable_less_harmful(p4,n).
goal_achieveable_less_harmful(p5,y).
goal_achieveable_less_harmful(p6,y).
goal_achieveable_less_harmful(p7,y).
goal_achieveable_less_harmful(p8,n).
goal_achieveable_less_harmful(p9,n).
goal_achieveable_less_harmful(p10,n).
goal_achieveable_less_harmful(p11,y).
goal_achieveable_less_harmful(p12,y).
goal_achieveable_less_harmful(p13,y).
goal_achieveable_less_harmful(p14,y).
goal_achieveable_less_harmful(p15,n).
goal_achieveable_less_harmful(p16,n).
goal_achieveable_less_harmful(p17,y).
goal_achieveable_less_harmful(p18,y).
goal_achieveable_less_harmful(p19,y).
goal_achieveable_less_harmful(p20,n).
goal_achieveable_less_harmful(p21,y).
goal_achieveable_less_harmful(p22,n).
goal_achieveable_less_harmful(p23,y).
goal_achieveable_less_harmful(p24,y).
goal_achieveable_less_harmful(p25,y).
goal_achieveable_less_harmful(p26,y).
goal_achieveable_less_harmful(p27,n).
goal_achieveable_less_harmful(p28,y).
goal_achieveable_less_harmful(p29,y).
goal_achieveable_less_harmful(p30,y).
goal_achieveable_less_harmful(p31,n).
goal_achieveable_less_harmful(p32,y).
goal_achieveable_less_harmful(p33,y).
goal_achieveable_less_harmful(p34,y).
goal_achieveable_less_harmful(p35,y).
goal_achieveable_less_harmful(p36,n).
goal_achieveable_less_harmful(p37,n).
goal_achieveable_less_harmful(p38,y).
goal_achieveable_less_harmful(p39,y).
goal_achieveable_less_harmful(p40,y).
goal_achieveable_less_harmful(p41,y).
goal_achieveable_less_harmful(p42,n).
goal_achieveable_less_harmful(p43,n).
goal_achieveable_less_harmful(p44,n).
goal_achieveable_less_harmful(p45,y).
goal_achieveable_less_harmful(p46,y).
goal_achieveable_less_harmful(p47,y).
goal_achieveable_less_harmful(p48,n).
goal_achieveable_less_harmful(p49,y).
goal_achieveable_less_harmful(p50,y).
goal_achieveable_less_harmful(p51,n).
goal_achieveable_less_harmful(p52,n).
goal_achieveable_less_harmful(p53,n).
goal_achieveable_less_harmful(p54,y).
goal_achieveable_less_harmful(p55,y).
goal_achieveable_less_harmful(p56,y).
goal_achieveable_less_harmful(p57,y).
goal_achieveable_less_harmful(p58,n).
goal_achieveable_less_harmful(p59,n).
goal_achieveable_less_harmful(p60,n).
goal_achieveable_less_harmful(p61,y).
goal_achieveable_less_harmful(p62,y).
goal_achieveable_less_harmful(p63,n).
goal_achieveable_less_harmful(p64,y).
goal_achieveable_less_harmful(p65,n).
goal_achieveable_less_harmful(p66,y).
goal_achieveable_less_harmful(p67,n).
goal_achieveable_less_harmful(p68,y).
goal_achieveable_less_harmful(p69,n).
goal_achieveable_less_harmful(p70,y).
goal_achieveable_less_harmful(p71,y).
goal_achieveable_less_harmful(p72,y).
goal_achieveable_less_harmful(p73,n).
goal_achieveable_less_harmful(p74,n).
goal_achieveable_less_harmful(p75,y).
goal_achieveable_less_harmful(p76,n).
goal_achieveable_less_harmful(p77,y).
goal_achieveable_less_harmful(p78,y).
goal_achieveable_less_harmful(p79,y).
goal_achieveable_less_harmful(p80,y).
goal_achieveable_less_harmful(p81,n).
goal_achieveable_less_harmful(p82,n).
goal_achieveable_less_harmful(p83,y).
goal_achieveable_less_harmful(p84,n).
goal_achieveable_less_harmful(p85,y).
goal_achieveable_less_harmful(p86,n).
goal_achieveable_less_harmful(p87,y).
goal_achieveable_less_harmful(p88,y).
goal_achieveable_less_harmful(p89,y).
goal_achieveable_less_harmful(p90,y).
goal_achieveable_less_harmful(p91,y).
goal_achieveable_less_harmful(p92,n).
goal_achieveable_less_harmful(p93,n).
goal_achieveable_less_harmful(p94,y).
goal_achieveable_less_harmful(p95,y).
goal_achieveable_less_harmful(p96,y).
goal_achieveable_less_harmful(p97,y).
goal_achieveable_less_harmful(p98,y).
goal_achieveable_less_harmful(p99,n).
goal_achieveable_less_harmful(p100,y).
goal_achieveable_less_harmful(p101,y).
goal_achieveable_less_harmful(n0,n).
goal_achieveable_less_harmful(n1,y).
goal_achieveable_less_harmful(n2,y).
goal_achieveable_less_harmful(n3,n).
goal_achieveable_less_harmful(n4,y).
goal_achieveable_less_harmful(n5,n).
goal_achieveable_less_harmful(n6,y).
goal_achieveable_less_harmful(n7,y).
goal_achieveable_less_harmful(n8,n).
goal_achieveable_less_harmful(n9,y).
goal_achieveable_less_harmful(n10,n).
goal_achieveable_less_harmful(n11,y).
goal_achieveable_less_harmful(n12,y).
goal_achieveable_less_harmful(n13,n).
goal_achieveable_less_harmful(n14,y).
goal_achieveable_less_harmful(n15,y).
goal_achieveable_less_harmful(n16,n).
goal_achieveable_less_harmful(n17,n).
goal_achieveable_less_harmful(n18,y).
goal_achieveable_less_harmful(n19,n).
goal_achieveable_less_harmful(n20,n).
goal_achieveable_less_harmful(n21,n).
goal_achieveable_less_harmful(n22,y).
goal_achieveable_less_harmful(n23,n).
goal_achieveable_less_harmful(n24,y).
goal_achieveable_less_harmful(n25,n).
goal_achieveable_less_harmful(n26,n).
goal_achieveable_less_harmful(n27,n).
goal_achieveable_less_harmful(n28,y).
goal_achieveable_less_harmful(n29,y).
goal_achieveable_less_harmful(n30,y).
goal_achieveable_less_harmful(n31,n).
goal_achieveable_less_harmful(n32,y).
goal_achieveable_less_harmful(n33,y).
goal_achieveable_less_harmful(n34,y).
goal_achieveable_less_harmful(n35,y).
goal_achieveable_less_harmful(n36,n).
goal_achieveable_less_harmful(n37,n).
goal_achieveable_less_harmful(n38,y).
goal_achieveable_less_harmful(n39,y).
goal_achieveable_less_harmful(n40,n).
goal_achieveable_less_harmful(n41,y).
goal_achieveable_less_harmful(n42,y).
goal_achieveable_less_harmful(n43,y).
goal_achieveable_less_harmful(n44,y).
goal_achieveable_less_harmful(n45,y).
goal_achieveable_less_harmful(n46,y).
goal_achieveable_less_harmful(n47,n).
goal_achieveable_less_harmful(n48,y).
goal_achieveable_less_harmful(n49,n).
goal_achieveable_less_harmful(n50,n).
goal_achieveable_less_harmful(n51,n).
goal_achieveable_less_harmful(n52,n).
goal_achieveable_less_harmful(n53,n).
goal_achieveable_less_harmful(n54,y).
goal_achieveable_less_harmful(n55,n).
goal_achieveable_less_harmful(n56,y).
goal_achieveable_less_harmful(n57,y).
goal_achieveable_less_harmful(n58,n).
goal_achieveable_less_harmful(n59,n).
goal_achieveable_less_harmful(n60,n).
goal_achieveable_less_harmful(n61,n).
goal_achieveable_less_harmful(n62,n).
goal_achieveable_less_harmful(n63,n).
goal_achieveable_less_harmful(n64,y).
goal_achieveable_less_harmful(n65,n).
goal_achieveable_less_harmful(n66,y).
goal_achieveable_less_harmful(n67,y).
goal_achieveable_less_harmful(n68,y).
goal_achieveable_less_harmful(n69,y).
goal_achieveable_less_harmful(n70,y).
goal_achieveable_less_harmful(n71,y).
goal_achieveable_less_harmful(n72,n).
goal_achieveable_less_harmful(n73,n).
goal_achieveable_less_harmful(n74,y).
goal_achieveable_less_harmful(n75,y).
goal_achieveable_less_harmful(n76,n).
goal_achieveable_less_harmful(n77,n).
goal_achieveable_less_harmful(n78,y).
goal_achieveable_less_harmful(n79,n).
goal_achieveable_less_harmful(n80,y).
goal_achieveable_less_harmful(n81,n).
goal_achieveable_less_harmful(n82,y).
goal_achieveable_less_harmful(n83,n).
goal_achieveable_less_harmful(n84,y).
goal_achieveable_less_harmful(n85,y).
goal_achieveable_less_harmful(n86,n).
goal_achieveable_less_harmful(n87,n).
goal_achieveable_less_harmful(n88,n).
goal_achieveable_less_harmful(n89,n).
goal_achieveable_less_harmful(n90,y).
goal_achieveable_less_harmful(n91,y).
goal_achieveable_less_harmful(n92,y).
goal_achieveable_less_harmful(n93,n).
goal_achieveable_less_harmful(n94,n).
goal_achieveable_less_harmful(n95,n).
goal_achieveable_less_harmful(n96,n).
goal_achieveable_less_harmful(n97,y).
goal_achieveable_less_harmful(n98,n).
goal_achieveable_less_harmful(n99,n).
goal_outweigh_harm(p0,y).
goal_outweigh_harm(p1,n).
goal_outweigh_harm(p2,y).
goal_outweigh_harm(p3,y).
goal_outweigh_harm(p4,n).
goal_outweigh_harm(p5,y).
goal_outweigh_harm(p6,y).
goal_outweigh_harm(p7,y).
goal_outweigh_harm(p8,n).
goal_outweigh_harm(p9,n).
goal_outweigh_harm(p10,n).
goal_outweigh_harm(p11,n).
goal_outweigh_harm(p12,y).
goal_outweigh_harm(p13,n).
goal_outweigh_harm(p14,n).
goal_outweigh_harm(p15,n).
goal_outweigh_harm(p16,n).
goal_outweigh_harm(p17,n).
goal_outweigh_harm(p18,n).
goal_outweigh_harm(p19,n).
goal_outweigh_harm(p20,n).
goal_outweigh_harm(p21,y).
goal_outweigh_harm(p22,n).
goal_outweigh_harm(p23,y).
goal_outweigh_harm(p24,n).
goal_outweigh_harm(p25,y).
goal_outweigh_harm(p26,n).
goal_outweigh_harm(p27,n).
goal_outweigh_harm(p28,y).
goal_outweigh_harm(p29,y).
goal_outweigh_harm(p30,y).
goal_outweigh_harm(p31,n).
goal_outweigh_harm(p32,n).
goal_outweigh_harm(p33,y).
goal_outweigh_harm(p34,n).
goal_outweigh_harm(p35,n).
goal_outweigh_harm(p36,n).
goal_outweigh_harm(p37,n).
goal_outweigh_harm(p38,y).
goal_outweigh_harm(p39,n).
goal_outweigh_harm(p40,n).
goal_outweigh_harm(p41,n).
goal_outweigh_harm(p42,n).
goal_outweigh_harm(p43,n).
goal_outweigh_harm(p44,y).
goal_outweigh_harm(p45,y).
goal_outweigh_harm(p46,n).
goal_outweigh_harm(p47,n).
goal_outweigh_harm(p48,n).
goal_outweigh_harm(p49,n).
goal_outweigh_harm(p50,y).
goal_outweigh_harm(p51,n).
goal_outweigh_harm(p52,n).
goal_outweigh_harm(p53,n).
goal_outweigh_harm(p54,y).
goal_outweigh_harm(p55,y).
goal_outweigh_harm(p56,n).
goal_outweigh_harm(p57,n).
goal_outweigh_harm(p58,n).
goal_outweigh_harm(p59,n).
goal_outweigh_harm(p60,n).
goal_outweigh_harm(p61,n).
goal_outweigh_harm(p62,y).
goal_outweigh_harm(p63,y).
goal_outweigh_harm(p64,y).
goal_outweigh_harm(p65,y).
goal_outweigh_harm(p66,n).
goal_outweigh_harm(p67,n).
goal_outweigh_harm(p68,n).
goal_outweigh_harm(p69,y).
goal_outweigh_harm(p70,y).
goal_outweigh_harm(p71,y).
goal_outweigh_harm(p72,n).
goal_outweigh_harm(p73,n).
goal_outweigh_harm(p74,n).
goal_outweigh_harm(p75,n).
goal_outweigh_harm(p76,n).
goal_outweigh_harm(p77,y).
goal_outweigh_harm(p78,n).
goal_outweigh_harm(p79,n).
goal_outweigh_harm(p80,y).
goal_outweigh_harm(p81,n).
goal_outweigh_harm(p82,n).
goal_outweigh_harm(p83,n).
goal_outweigh_harm(p84,n).
goal_outweigh_harm(p85,n).
goal_outweigh_harm(p86,n).
goal_outweigh_harm(p87,y).
goal_outweigh_harm(p88,y).
goal_outweigh_harm(p89,n).
goal_outweigh_harm(p90,y).
goal_outweigh_harm(p91,n).
goal_outweigh_harm(p92,y).
goal_outweigh_harm(p93,n).
goal_outweigh_harm(p94,n).
goal_outweigh_harm(p95,n).
goal_outweigh_harm(p96,y).
goal_outweigh_harm(p97,n).
goal_outweigh_harm(p98,y).
goal_outweigh_harm(p99,y).
goal_outweigh_harm(p100,n).
goal_outweigh_harm(p101,n).
goal_outweigh_harm(n0,y).
goal_outweigh_harm(n1,y).
goal_outweigh_harm(n2,y).
goal_outweigh_harm(n3,n).
goal_outweigh_harm(n4,n).
goal_outweigh_harm(n5,n).
goal_outweigh_harm(n6,y).
goal_outweigh_harm(n7,y).
goal_outweigh_harm(n8,y).
goal_outweigh_harm(n9,y).
goal_outweigh_harm(n10,y).
goal_outweigh_harm(n11,n).
goal_outweigh_harm(n12,y).
goal_outweigh_harm(n13,y).
goal_outweigh_harm(n14,y).
goal_outweigh_harm(n15,n).
goal_outweigh_harm(n16,y).
goal_outweigh_harm(n17,y).
goal_outweigh_harm(n18,y).
goal_outweigh_harm(n19,n).
goal_outweigh_harm(n20,n).
goal_outweigh_harm(n21,n).
goal_outweigh_harm(n22,y).
goal_outweigh_harm(n23,y).
goal_outweigh_harm(n24,n).
goal_outweigh_harm(n25,y).
goal_outweigh_harm(n26,y).
goal_outweigh_harm(n27,y).
goal_outweigh_harm(n28,n).
goal_outweigh_harm(n29,n).
goal_outweigh_harm(n30,y).
goal_outweigh_harm(n31,y).
goal_outweigh_harm(n32,y).
goal_outweigh_harm(n33,n).
goal_outweigh_harm(n34,y).
goal_outweigh_harm(n35,y).
goal_outweigh_harm(n36,n).
goal_outweigh_harm(n37,y).
goal_outweigh_harm(n38,y).
goal_outweigh_harm(n39,y).
goal_outweigh_harm(n40,n).
goal_outweigh_harm(n41,y).
goal_outweigh_harm(n42,n).
goal_outweigh_harm(n43,y).
goal_outweigh_harm(n44,n).
goal_outweigh_harm(n45,n).
goal_outweigh_harm(n46,n).
goal_outweigh_harm(n47,y).
goal_outweigh_harm(n48,y).
goal_outweigh_harm(n49,y).
goal_outweigh_harm(n50,y).
goal_outweigh_harm(n51,y).
goal_outweigh_harm(n52,y).
goal_outweigh_harm(n53,n).
goal_outweigh_harm(n54,y).
goal_outweigh_harm(n55,y).
goal_outweigh_harm(n56,y).
goal_outweigh_harm(n57,n).
goal_outweigh_harm(n58,n).
goal_outweigh_harm(n59,n).
goal_outweigh_harm(n60,y).
goal_outweigh_harm(n61,y).
goal_outweigh_harm(n62,n).
goal_outweigh_harm(n63,y).
goal_outweigh_harm(n64,n).
goal_outweigh_harm(n65,n).
goal_outweigh_harm(n66,n).
goal_outweigh_harm(n67,n).
goal_outweigh_harm(n68,y).
goal_outweigh_harm(n69,y).
goal_outweigh_harm(n70,y).
goal_outweigh_harm(n71,y).
goal_outweigh_harm(n72,y).
goal_outweigh_harm(n73,n).
goal_outweigh_harm(n74,n).
goal_outweigh_harm(n75,n).
goal_outweigh_harm(n76,n).
goal_outweigh_harm(n77,n).
goal_outweigh_harm(n78,n).
goal_outweigh_harm(n79,n).
goal_outweigh_harm(n80,n).
goal_outweigh_harm(n81,n).
goal_outweigh_harm(n82,n).
goal_outweigh_harm(n83,y).
goal_outweigh_harm(n84,y).
goal_outweigh_harm(n85,n).
goal_outweigh_harm(n86,n).
goal_outweigh_harm(n87,y).
goal_outweigh_harm(n88,y).
goal_outweigh_harm(n89,n).
goal_outweigh_harm(n90,n).
goal_outweigh_harm(n91,n).
goal_outweigh_harm(n92,y).
goal_outweigh_harm(n93,n).
goal_outweigh_harm(n94,n).
goal_outweigh_harm(n95,y).
goal_outweigh_harm(n96,n).
goal_outweigh_harm(n97,y).
goal_outweigh_harm(n98,n).
goal_outweigh_harm(n99,n).
harm_caused_as_planned(p0,y).
harm_caused_as_planned(p1,y).
harm_caused_as_planned(p2,y).
harm_caused_as_planned(p3,y).
harm_caused_as_planned(p4,n).
harm_caused_as_planned(p5,y).
harm_caused_as_planned(p6,n).
harm_caused_as_planned(p7,y).
harm_caused_as_planned(p8,n).
harm_caused_as_planned(p9,n).
harm_caused_as_planned(p10,y).
harm_caused_as_planned(p11,n).
harm_caused_as_planned(p12,n).
harm_caused_as_planned(p13,y).
harm_caused_as_planned(p14,y).
harm_caused_as_planned(p15,y).
harm_caused_as_planned(p16,y).
harm_caused_as_planned(p17,n).
harm_caused_as_planned(p18,y).
harm_caused_as_planned(p19,n).
harm_caused_as_planned(p20,n).
harm_caused_as_planned(p21,n).
harm_caused_as_planned(p22,n).
harm_caused_as_planned(p23,n).
harm_caused_as_planned(p24,n).
harm_caused_as_planned(p25,y).
harm_caused_as_planned(p26,n).
harm_caused_as_planned(p27,n).
harm_caused_as_planned(p28,y).
harm_caused_as_planned(p29,y).
harm_caused_as_planned(p30,y).
harm_caused_as_planned(p31,n).
harm_caused_as_planned(p32,n).
harm_caused_as_planned(p33,y).
harm_caused_as_planned(p34,y).
harm_caused_as_planned(p35,y).
harm_caused_as_planned(p36,n).
harm_caused_as_planned(p37,y).
harm_caused_as_planned(p38,y).
harm_caused_as_planned(p39,n).
harm_caused_as_planned(p40,n).
harm_caused_as_planned(p41,n).
harm_caused_as_planned(p42,n).
harm_caused_as_planned(p43,y).
harm_caused_as_planned(p44,n).
harm_caused_as_planned(p45,y).
harm_caused_as_planned(p46,y).
harm_caused_as_planned(p47,y).
harm_caused_as_planned(p48,y).
harm_caused_as_planned(p49,y).
harm_caused_as_planned(p50,y).
harm_caused_as_planned(p51,y).
harm_caused_as_planned(p52,y).
harm_caused_as_planned(p53,y).
harm_caused_as_planned(p54,y).
harm_caused_as_planned(p55,y).
harm_caused_as_planned(p56,y).
harm_caused_as_planned(p57,y).
harm_caused_as_planned(p58,y).
harm_caused_as_planned(p59,y).
harm_caused_as_planned(p60,n).
harm_caused_as_planned(p61,n).
harm_caused_as_planned(p62,n).
harm_caused_as_planned(p63,y).
harm_caused_as_planned(p64,y).
harm_caused_as_planned(p65,n).
harm_caused_as_planned(p66,y).
harm_caused_as_planned(p67,n).
harm_caused_as_planned(p68,n).
harm_caused_as_planned(p69,n).
harm_caused_as_planned(p70,y).
harm_caused_as_planned(p71,n).
harm_caused_as_planned(p72,y).
harm_caused_as_planned(p73,n).
harm_caused_as_planned(p74,n).
harm_caused_as_planned(p75,y).
harm_caused_as_planned(p76,y).
harm_caused_as_planned(p77,n).
harm_caused_as_planned(p78,y).
harm_caused_as_planned(p79,n).
harm_caused_as_planned(p80,y).
harm_caused_as_planned(p81,y).
harm_caused_as_planned(p82,y).
harm_caused_as_planned(p83,n).
harm_caused_as_planned(p84,y).
harm_caused_as_planned(p85,y).
harm_caused_as_planned(p86,y).
harm_caused_as_planned(p87,n).
harm_caused_as_planned(p88,y).
harm_caused_as_planned(p89,y).
harm_caused_as_planned(p90,y).
harm_caused_as_planned(p91,n).
harm_caused_as_planned(p92,n).
harm_caused_as_planned(p93,y).
harm_caused_as_planned(p94,n).
harm_caused_as_planned(p95,n).
harm_caused_as_planned(p96,n).
harm_caused_as_planned(p97,y).
harm_caused_as_planned(p98,y).
harm_caused_as_planned(p99,n).
harm_caused_as_planned(p100,n).
harm_caused_as_planned(p101,n).
harm_caused_as_planned(n0,y).
harm_caused_as_planned(n1,n).
harm_caused_as_planned(n2,y).
harm_caused_as_planned(n3,n).
harm_caused_as_planned(n4,n).
harm_caused_as_planned(n5,y).
harm_caused_as_planned(n6,n).
harm_caused_as_planned(n7,n).
harm_caused_as_planned(n8,y).
harm_caused_as_planned(n9,n).
harm_caused_as_planned(n10,y).
harm_caused_as_planned(n11,n).
harm_caused_as_planned(n12,n).
harm_caused_as_planned(n13,n).
harm_caused_as_planned(n14,n).
harm_caused_as_planned(n15,n).
harm_caused_as_planned(n16,y).
harm_caused_as_planned(n17,y).
harm_caused_as_planned(n18,n).
harm_caused_as_planned(n19,n).
harm_caused_as_planned(n20,y).
harm_caused_as_planned(n21,y).
harm_caused_as_planned(n22,n).
harm_caused_as_planned(n23,y).
harm_caused_as_planned(n24,n).
harm_caused_as_planned(n25,y).
harm_caused_as_planned(n26,n).
harm_caused_as_planned(n27,n).
harm_caused_as_planned(n28,y).
harm_caused_as_planned(n29,n).
harm_caused_as_planned(n30,n).
harm_caused_as_planned(n31,y).
harm_caused_as_planned(n32,n).
harm_caused_as_planned(n33,y).
harm_caused_as_planned(n34,n).
harm_caused_as_planned(n35,y).
harm_caused_as_planned(n36,n).
harm_caused_as_planned(n37,n).
harm_caused_as_planned(n38,y).
harm_caused_as_planned(n39,n).
harm_caused_as_planned(n40,y).
harm_caused_as_planned(n41,n).
harm_caused_as_planned(n42,y).
harm_caused_as_planned(n43,y).
harm_caused_as_planned(n44,n).
harm_caused_as_planned(n45,y).
harm_caused_as_planned(n46,y).
harm_caused_as_planned(n47,y).
harm_caused_as_planned(n48,y).
harm_caused_as_planned(n49,n).
harm_caused_as_planned(n50,n).
harm_caused_as_planned(n51,n).
harm_caused_as_planned(n52,y).
harm_caused_as_planned(n53,n).
harm_caused_as_planned(n54,n).
harm_caused_as_planned(n55,n).
harm_caused_as_planned(n56,n).
harm_caused_as_planned(n57,n).
harm_caused_as_planned(n58,n).
harm_caused_as_planned(n59,n).
harm_caused_as_planned(n60,n).
harm_caused_as_planned(n61,y).
harm_caused_as_planned(n62,n).
harm_caused_as_planned(n63,y).
harm_caused_as_planned(n64,n).
harm_caused_as_planned(n65,n).
harm_caused_as_planned(n66,n).
harm_caused_as_planned(n67,n).
harm_caused_as_planned(n68,n).
harm_caused_as_planned(n69,n).
harm_caused_as_planned(n70,n).
harm_caused_as_planned(n71,y).
harm_caused_as_planned(n72,n).
harm_caused_as_planned(n73,y).
harm_caused_as_planned(n74,y).
harm_caused_as_planned(n75,y).
harm_caused_as_planned(n76,n).
harm_caused_as_planned(n77,n).
harm_caused_as_planned(n78,n).
harm_caused_as_planned(n79,y).
harm_caused_as_planned(n80,n).
harm_caused_as_planned(n81,n).
harm_caused_as_planned(n82,n).
harm_caused_as_planned(n83,n).
harm_caused_as_planned(n84,y).
harm_caused_as_planned(n85,n).
harm_caused_as_planned(n86,y).
harm_caused_as_planned(n87,y).
harm_caused_as_planned(n88,y).
harm_caused_as_planned(n89,n).
harm_caused_as_planned(n90,n).
harm_caused_as_planned(n91,n).
harm_caused_as_planned(n92,n).
harm_caused_as_planned(n93,n).
harm_caused_as_planned(n94,y).
harm_caused_as_planned(n95,y).
harm_caused_as_planned(n96,n).
harm_caused_as_planned(n97,y).
harm_caused_as_planned(n98,n).
harm_caused_as_planned(n99,n).
monitor(p0,y).
monitor(p1,y).
monitor(p2,y).
monitor(p3,y).
monitor(p4,y).
monitor(p5,y).
monitor(p6,n).
monitor(p7,y).
monitor(p8,y).
monitor(p9,n).
monitor(p10,n).
monitor(p11,y).
monitor(p12,n).
monitor(p13,y).
monitor(p14,y).
monitor(p15,y).
monitor(p16,y).
monitor(p17,n).
monitor(p18,y).
monitor(p19,n).
monitor(p20,y).
monitor(p21,y).
monitor(p22,n).
monitor(p23,n).
monitor(p24,y).
monitor(p25,y).
monitor(p26,y).
monitor(p27,y).
monitor(p28,y).
monitor(p29,y).
monitor(p30,y).
monitor(p31,y).
monitor(p32,y).
monitor(p33,n).
monitor(p34,n).
monitor(p35,n).
monitor(p36,y).
monitor(p37,n).
monitor(p38,y).
monitor(p39,n).
monitor(p40,n).
monitor(p41,y).
monitor(p42,y).
monitor(p43,n).
monitor(p44,n).
monitor(p45,n).
monitor(p46,n).
monitor(p47,y).
monitor(p48,n).
monitor(p49,y).
monitor(p50,n).
monitor(p51,y).
monitor(p52,n).
monitor(p53,y).
monitor(p54,y).
monitor(p55,y).
monitor(p56,n).
monitor(p57,y).
monitor(p58,y).
monitor(p59,y).
monitor(p60,y).
monitor(p61,y).
monitor(p62,y).
monitor(p63,y).
monitor(p64,y).
monitor(p65,y).
monitor(p66,y).
monitor(p67,y).
monitor(p68,y).
monitor(p69,y).
monitor(p70,y).
monitor(p71,y).
monitor(p72,y).
monitor(p73,y).
monitor(p74,y).
monitor(p75,y).
monitor(p76,y).
monitor(p77,n).
monitor(p78,y).
monitor(p79,y).
monitor(p80,y).
monitor(p81,n).
monitor(p82,n).
monitor(p83,n).
monitor(p84,n).
monitor(p85,y).
monitor(p86,y).
monitor(p87,n).
monitor(p88,n).
monitor(p89,n).
monitor(p90,y).
monitor(p91,n).
monitor(p92,y).
monitor(p93,y).
monitor(p94,n).
monitor(p95,y).
monitor(p96,y).
monitor(p97,y).
monitor(p98,n).
monitor(p99,n).
monitor(p100,y).
monitor(p101,n).
monitor(n0,n).
monitor(n1,y).
monitor(n2,y).
monitor(n3,n).
monitor(n4,n).
monitor(n5,y).
monitor(n6,y).
monitor(n7,y).
monitor(n8,n).
monitor(n9,y).
monitor(n10,y).
monitor(n11,y).
monitor(n12,n).
monitor(n13,y).
monitor(n14,n).
monitor(n15,n).
monitor(n16,n).
monitor(n17,y).
monitor(n18,n).
monitor(n19,n).
monitor(n20,y).
monitor(n21,n).
monitor(n22,y).
monitor(n23,n).
monitor(n24,y).
monitor(n25,n).
monitor(n26,y).
monitor(n27,n).
monitor(n28,n).
monitor(n29,n).
monitor(n30,y).
monitor(n31,y).
monitor(n32,n).
monitor(n33,n).
monitor(n34,n).
monitor(n35,y).
monitor(n36,y).
monitor(n37,n).
monitor(n38,n).
monitor(n39,n).
monitor(n40,n).
monitor(n41,n).
monitor(n42,y).
monitor(n43,n).
monitor(n44,n).
monitor(n45,y).
monitor(n46,n).
monitor(n47,y).
monitor(n48,y).
monitor(n49,y).
monitor(n50,n).
monitor(n51,y).
monitor(n52,n).
monitor(n53,n).
monitor(n54,n).
monitor(n55,y).
monitor(n56,y).
monitor(n57,n).
monitor(n58,y).
monitor(n59,y).
monitor(n60,n).
monitor(n61,y).
monitor(n62,y).
monitor(n63,y).
monitor(n64,y).
monitor(n65,y).
monitor(n66,n).
monitor(n67,n).
monitor(n68,n).
monitor(n69,n).
monitor(n70,n).
monitor(n71,y).
monitor(n72,n).
monitor(n73,n).
monitor(n74,y).
monitor(n75,n).
monitor(n76,y).
monitor(n77,n).
monitor(n78,n).
monitor(n79,y).
monitor(n80,y).
monitor(n81,y).
monitor(n82,n).
monitor(n83,y).
monitor(n84,y).
monitor(n85,y).
monitor(n86,n).
monitor(n87,y).
monitor(n88,y).
monitor(n89,n).
monitor(n90,n).
monitor(n91,y).
monitor(n92,y).
monitor(n93,n).
monitor(n94,n).
monitor(n95,y).
monitor(n96,n).
monitor(n97,n).
monitor(n98,n).
monitor(n99,y).
outrank_perpetrator(p0,n).
outrank_perpetrator(p1,y).
outrank_perpetrator(p2,y).
outrank_perpetrator(p3,y).
outrank_perpetrator(p4,y).
outrank_perpetrator(p5,n).
outrank_perpetrator(p6,n).
outrank_perpetrator(p7,n).
outrank_perpetrator(p8,y).
outrank_perpetrator(p9,y).
outrank_perpetrator(p10,y).
outrank_perpetrator(p11,y).
outrank_perpetrator(p12,n).
outrank_perpetrator(p13,y).
outrank_perpetrator(p14,n).
outrank_perpetrator(p15,y).
outrank_perpetrator(p16,n).
outrank_perpetrator(p17,y).
outrank_perpetrator(p18,y).
outrank_perpetrator(p19,n).
outrank_perpetrator(p20,n).
outrank_perpetrator(p21,y).
outrank_perpetrator(p22,n).
outrank_perpetrator(p23,y).
outrank_perpetrator(p24,n).
outrank_perpetrator(p25,n).
outrank_perpetrator(p26,y).
outrank_perpetrator(p27,n).
outrank_perpetrator(p28,n).
outrank_perpetrator(p29,y).
outrank_perpetrator(p30,n).
outrank_perpetrator(p31,y).
outrank_perpetrator(p32,y).
outrank_perpetrator(p33,n).
outrank_perpetrator(p34,y).
outrank_perpetrator(p35,n).
outrank_perpetrator(p36,n).
outrank_perpetrator(p37,n).
outrank_perpetrator(p38,n).
outrank_perpetrator(p39,n).
outrank_perpetrator(p40,n).
outrank_perpetrator(p41,n).
outrank_perpetrator(p42,y).
outrank_perpetrator(p43,y).
outrank_perpetrator(p44,y).
outrank_perpetrator(p45,n).
outrank_perpetrator(p46,n).
outrank_perpetrator(p47,n).
outrank_perpetrator(p48,n).
outrank_perpetrator(p49,y).
outrank_perpetrator(p50,n).
outrank_perpetrator(p51,n).
outrank_perpetrator(p52,y).
outrank_perpetrator(p53,y).
outrank_perpetrator(p54,y).
outrank_perpetrator(p55,y).
outrank_perpetrator(p56,y).
outrank_perpetrator(p57,y).
outrank_perpetrator(p58,y).
outrank_perpetrator(p59,n).
outrank_perpetrator(p60,n).
outrank_perpetrator(p61,y).
outrank_perpetrator(p62,n).
outrank_perpetrator(p63,y).
outrank_perpetrator(p64,n).
outrank_perpetrator(p65,n).
outrank_perpetrator(p66,n).
outrank_perpetrator(p67,y).
outrank_perpetrator(p68,n).
outrank_perpetrator(p69,n).
outrank_perpetrator(p70,n).
outrank_perpetrator(p71,y).
outrank_perpetrator(p72,n).
outrank_perpetrator(p73,y).
outrank_perpetrator(p74,n).
outrank_perpetrator(p75,y).
outrank_perpetrator(p76,y).
outrank_perpetrator(p77,n).
outrank_perpetrator(p78,y).
outrank_perpetrator(p79,n).
outrank_perpetrator(p80,n).
outrank_perpetrator(p81,y).
outrank_perpetrator(p82,y).
outrank_perpetrator(p83,n).
outrank_perpetrator(p84,y).
outrank_perpetrator(p85,n).
outrank_perpetrator(p86,y).
outrank_perpetrator(p87,y).
outrank_perpetrator(p88,y).
outrank_perpetrator(p89,y).
outrank_perpetrator(p90,y).
outrank_perpetrator(p91,y).
outrank_perpetrator(p92,y).
outrank_perpetrator(p93,y).
outrank_perpetrator(p94,n).
outrank_perpetrator(p95,n).
outrank_perpetrator(p96,y).
outrank_perpetrator(p97,y).
outrank_perpetrator(p98,y).
outrank_perpetrator(p99,y).
outrank_perpetrator(p100,y).
outrank_perpetrator(p101,y).
outrank_perpetrator(n0,n).
outrank_perpetrator(n1,n).
outrank_perpetrator(n2,y).
outrank_perpetrator(n3,y).
outrank_perpetrator(n4,n).
outrank_perpetrator(n5,y).
outrank_perpetrator(n6,y).
outrank_perpetrator(n7,n).
outrank_perpetrator(n8,y).
outrank_perpetrator(n9,y).
outrank_perpetrator(n10,n).
outrank_perpetrator(n11,n).
outrank_perpetrator(n12,y).
outrank_perpetrator(n13,n).
outrank_perpetrator(n14,y).
outrank_perpetrator(n15,y).
outrank_perpetrator(n16,n).
outrank_perpetrator(n17,n).
outrank_perpetrator(n18,y).
outrank_perpetrator(n19,y).
outrank_perpetrator(n20,y).
outrank_perpetrator(n21,y).
outrank_perpetrator(n22,n).
outrank_perpetrator(n23,n).
outrank_perpetrator(n24,y).
outrank_perpetrator(n25,y).
outrank_perpetrator(n26,n).
outrank_perpetrator(n27,y).
outrank_perpetrator(n28,y).
outrank_perpetrator(n29,y).
outrank_perpetrator(n30,n).
outrank_perpetrator(n31,n).
outrank_perpetrator(n32,y).
outrank_perpetrator(n33,n).
outrank_perpetrator(n34,y).
outrank_perpetrator(n35,n).
outrank_perpetrator(n36,n).
outrank_perpetrator(n37,y).
outrank_perpetrator(n38,n).
outrank_perpetrator(n39,y).
outrank_perpetrator(n40,y).
outrank_perpetrator(n41,n).
outrank_perpetrator(n42,y).
outrank_perpetrator(n43,y).
outrank_perpetrator(n44,n).
outrank_perpetrator(n45,n).
outrank_perpetrator(n46,n).
outrank_perpetrator(n47,y).
outrank_perpetrator(n48,y).
outrank_perpetrator(n49,y).
outrank_perpetrator(n50,n).
outrank_perpetrator(n51,n).
outrank_perpetrator(n52,n).
outrank_perpetrator(n53,n).
outrank_perpetrator(n54,n).
outrank_perpetrator(n55,y).
outrank_perpetrator(n56,y).
outrank_perpetrator(n57,n).
outrank_perpetrator(n58,y).
outrank_perpetrator(n59,y).
outrank_perpetrator(n60,n).
outrank_perpetrator(n61,y).
outrank_perpetrator(n62,n).
outrank_perpetrator(n63,y).
outrank_perpetrator(n64,n).
outrank_perpetrator(n65,n).
outrank_perpetrator(n66,n).
outrank_perpetrator(n67,n).
outrank_perpetrator(n68,y).
outrank_perpetrator(n69,y).
outrank_perpetrator(n70,y).
outrank_perpetrator(n71,y).
outrank_perpetrator(n72,y).
outrank_perpetrator(n73,n).
outrank_perpetrator(n74,n).
outrank_perpetrator(n75,n).
outrank_perpetrator(n76,y).
outrank_perpetrator(n77,n).
outrank_perpetrator(n78,n).
outrank_perpetrator(n79,n).
outrank_perpetrator(n80,y).
outrank_perpetrator(n81,n).
outrank_perpetrator(n82,y).
outrank_perpetrator(n83,y).
outrank_perpetrator(n84,n).
outrank_perpetrator(n85,n).
outrank_perpetrator(n86,y).
outrank_perpetrator(n87,y).
outrank_perpetrator(n88,y).
outrank_perpetrator(n89,y).
outrank_perpetrator(n90,n).
outrank_perpetrator(n91,y).
outrank_perpetrator(n92,y).
outrank_perpetrator(n93,n).
outrank_perpetrator(n94,y).
outrank_perpetrator(n95,n).
outrank_perpetrator(n96,y).
outrank_perpetrator(n97,n).
outrank_perpetrator(n98,n).
outrank_perpetrator(n99,y).
someone_else_cause_harm(p0,n).
someone_else_cause_harm(p1,n).
someone_else_cause_harm(p2,n).
someone_else_cause_harm(p3,n).
someone_else_cause_harm(p4,n).
someone_else_cause_harm(p5,y).
someone_else_cause_harm(p6,n).
someone_else_cause_harm(p7,y).
someone_else_cause_harm(p8,n).
someone_else_cause_harm(p9,y).
someone_else_cause_harm(p10,n).
someone_else_cause_harm(p11,y).
someone_else_cause_harm(p12,y).
someone_else_cause_harm(p13,y).
someone_else_cause_harm(p14,y).
someone_else_cause_harm(p15,n).
someone_else_cause_harm(p16,y).
someone_else_cause_harm(p17,y).
someone_else_cause_harm(p18,y).
someone_else_cause_harm(p19,y).
someone_else_cause_harm(p20,y).
someone_else_cause_harm(p21,y).
someone_else_cause_harm(p22,y).
someone_else_cause_harm(p23,y).
someone_else_cause_harm(p24,n).
someone_else_cause_harm(p25,y).
someone_else_cause_harm(p26,n).
someone_else_cause_harm(p27,n).
someone_else_cause_harm(p28,n).
someone_else_cause_harm(p29,y).
someone_else_cause_harm(p30,y).
someone_else_cause_harm(p31,n).
someone_else_cause_harm(p32,y).
someone_else_cause_harm(p33,y).
someone_else_cause_harm(p34,n).
someone_else_cause_harm(p35,y).
someone_else_cause_harm(p36,n).
someone_else_cause_harm(p37,y).
someone_else_cause_harm(p38,n).
someone_else_cause_harm(p39,y).
someone_else_cause_harm(p40,n).
someone_else_cause_harm(p41,n).
someone_else_cause_harm(p42,y).
someone_else_cause_harm(p43,n).
someone_else_cause_harm(p44,n).
someone_else_cause_harm(p45,y).
someone_else_cause_harm(p46,y).
someone_else_cause_harm(p47,n).
someone_else_cause_harm(p48,y).
someone_else_cause_harm(p49,n).
someone_else_cause_harm(p50,n).
someone_else_cause_harm(p51,y).
someone_else_cause_harm(p52,n).
someone_else_cause_harm(p53,n).
someone_else_cause_harm(p54,y).
someone_else_cause_harm(p55,y).
someone_else_cause_harm(p56,n).
someone_else_cause_harm(p57,n).
someone_else_cause_harm(p58,y).
someone_else_cause_harm(p59,n).
someone_else_cause_harm(p60,n).
someone_else_cause_harm(p61,n).
someone_else_cause_harm(p62,y).
someone_else_cause_harm(p63,n).
someone_else_cause_harm(p64,n).
someone_else_cause_harm(p65,n).
someone_else_cause_harm(p66,n).
someone_else_cause_harm(p67,y).
someone_else_cause_harm(p68,y).
someone_else_cause_harm(p69,n).
someone_else_cause_harm(p70,y).
someone_else_cause_harm(p71,y).
someone_else_cause_harm(p72,n).
someone_else_cause_harm(p73,y).
someone_else_cause_harm(p74,y).
someone_else_cause_harm(p75,n).
someone_else_cause_harm(p76,y).
someone_else_cause_harm(p77,n).
someone_else_cause_harm(p78,n).
someone_else_cause_harm(p79,n).
someone_else_cause_harm(p80,y).
someone_else_cause_harm(p81,n).
someone_else_cause_harm(p82,y).
someone_else_cause_harm(p83,n).
someone_else_cause_harm(p84,y).
someone_else_cause_harm(p85,y).
someone_else_cause_harm(p86,n).
someone_else_cause_harm(p87,n).
someone_else_cause_harm(p88,n).
someone_else_cause_harm(p89,y).
someone_else_cause_harm(p90,y).
someone_else_cause_harm(p91,n).
someone_else_cause_harm(p92,y).
someone_else_cause_harm(p93,n).
someone_else_cause_harm(p94,n).
someone_else_cause_harm(p95,n).
someone_else_cause_harm(p96,y).
someone_else_cause_harm(p97,y).
someone_else_cause_harm(p98,y).
someone_else_cause_harm(p99,y).
someone_else_cause_harm(p100,y).
someone_else_cause_harm(p101,y).
someone_else_cause_harm(n0,n).
someone_else_cause_harm(n1,n).
someone_else_cause_harm(n2,n).
someone_else_cause_harm(n3,n).
someone_else_cause_harm(n4,n).
someone_else_cause_harm(n5,y).
someone_else_cause_harm(n6,n).
someone_else_cause_harm(n7,n).
someone_else_cause_harm(n8,y).
someone_else_cause_harm(n9,y).
someone_else_cause_harm(n10,y).
someone_else_cause_harm(n11,y).
someone_else_cause_harm(n12,n).
someone_else_cause_harm(n13,n).
someone_else_cause_harm(n14,n).
someone_else_cause_harm(n15,n).
someone_else_cause_harm(n16,y).
someone_else_cause_harm(n17,n).
someone_else_cause_harm(n18,n).
someone_else_cause_harm(n19,y).
someone_else_cause_harm(n20,n).
someone_else_cause_harm(n21,y).
someone_else_cause_harm(n22,y).
someone_else_cause_harm(n23,n).
someone_else_cause_harm(n24,y).
someone_else_cause_harm(n25,n).
someone_else_cause_harm(n26,y).
someone_else_cause_harm(n27,n).
someone_else_cause_harm(n28,y).
someone_else_cause_harm(n29,n).
someone_else_cause_harm(n30,n).
someone_else_cause_harm(n31,n).
someone_else_cause_harm(n32,n).
someone_else_cause_harm(n33,y).
someone_else_cause_harm(n34,n).
someone_else_cause_harm(n35,n).
someone_else_cause_harm(n36,y).
someone_else_cause_harm(n37,n).
someone_else_cause_harm(n38,n).
someone_else_cause_harm(n39,n).
someone_else_cause_harm(n40,y).
someone_else_cause_harm(n41,n).
someone_else_cause_harm(n42,y).
someone_else_cause_harm(n43,n).
someone_else_cause_harm(n44,y).
someone_else_cause_harm(n45,y).
someone_else_cause_harm(n46,n).
someone_else_cause_harm(n47,n).
someone_else_cause_harm(n48,y).
someone_else_cause_harm(n49,y).
someone_else_cause_harm(n50,n).
someone_else_cause_harm(n51,y).
someone_else_cause_harm(n52,n).
someone_else_cause_harm(n53,y).
someone_else_cause_harm(n54,y).
someone_else_cause_harm(n55,n).
someone_else_cause_harm(n56,n).
someone_else_cause_harm(n57,n).
someone_else_cause_harm(n58,n).
someone_else_cause_harm(n59,y).
someone_else_cause_harm(n60,n).
someone_else_cause_harm(n61,n).
someone_else_cause_harm(n62,n).
someone_else_cause_harm(n63,y).
someone_else_cause_harm(n64,n).
someone_else_cause_harm(n65,y).
someone_else_cause_harm(n66,y).
someone_else_cause_harm(n67,n).
someone_else_cause_harm(n68,n).
someone_else_cause_harm(n69,y).
someone_else_cause_harm(n70,y).
someone_else_cause_harm(n71,n).
someone_else_cause_harm(n72,n).
someone_else_cause_harm(n73,n).
someone_else_cause_harm(n74,n).
someone_else_cause_harm(n75,n).
someone_else_cause_harm(n76,y).
someone_else_cause_harm(n77,n).
someone_else_cause_harm(n78,y).
someone_else_cause_harm(n79,y).
someone_else_cause_harm(n80,y).
someone_else_cause_harm(n81,y).
someone_else_cause_harm(n82,n).
someone_else_cause_harm(n83,y).
someone_else_cause_harm(n84,y).
someone_else_cause_harm(n85,y).
someone_else_cause_harm(n86,n).
someone_else_cause_harm(n87,y).
someone_else_cause_harm(n88,y).
someone_else_cause_harm(n89,y).
someone_else_cause_harm(n90,y).
someone_else_cause_harm(n91,n).
someone_else_cause_harm(n92,n).
someone_else_cause_harm(n93,n).
someone_else_cause_harm(n94,n).
someone_else_cause_harm(n95,n).
someone_else_cause_harm(n96,n).
someone_else_cause_harm(n97,y).
someone_else_cause_harm(n98,y).
someone_else_cause_harm(n99,y).
plan_include_harm(p0,y).
plan_include_harm(p1,n).
plan_include_harm(p2,n).
plan_include_harm(p3,y).
plan_include_harm(p4,n).
plan_include_harm(p5,n).
plan_include_harm(p6,n).
plan_include_harm(p7,y).
plan_include_harm(p8,n).
plan_include_harm(p9,y).
plan_include_harm(p10,y).
plan_include_harm(p11,y).
plan_include_harm(p12,n).
plan_include_harm(p13,y).
plan_include_harm(p14,n).
plan_include_harm(p15,y).
plan_include_harm(p16,n).
plan_include_harm(p17,y).
plan_include_harm(p18,n).
plan_include_harm(p19,y).
plan_include_harm(p20,n).
plan_include_harm(p21,y).
plan_include_harm(p22,y).
plan_include_harm(p23,n).
plan_include_harm(p24,n).
plan_include_harm(p25,y).
plan_include_harm(p26,y).
plan_include_harm(p27,y).
plan_include_harm(p28,y).
plan_include_harm(p29,y).
plan_include_harm(p30,n).
plan_include_harm(p31,y).
plan_include_harm(p32,y).
plan_include_harm(p33,y).
plan_include_harm(p34,y).
plan_include_harm(p35,y).
plan_include_harm(p36,y).
plan_include_harm(p37,n).
plan_include_harm(p38,n).
plan_include_harm(p39,n).
plan_include_harm(p40,y).
plan_include_harm(p41,y).
plan_include_harm(p42,n).
plan_include_harm(p43,n).
plan_include_harm(p44,y).
plan_include_harm(p45,n).
plan_include_harm(p46,n).
plan_include_harm(p47,n).
plan_include_harm(p48,y).
plan_include_harm(p49,y).
plan_include_harm(p50,y).
plan_include_harm(p51,y).
plan_include_harm(p52,y).
plan_include_harm(p53,y).
plan_include_harm(p54,y).
plan_include_harm(p55,y).
plan_include_harm(p56,y).
plan_include_harm(p57,y).
plan_include_harm(p58,y).
plan_include_harm(p59,y).
plan_include_harm(p60,y).
plan_include_harm(p61,n).
plan_include_harm(p62,y).
plan_include_harm(p63,y).
plan_include_harm(p64,n).
plan_include_harm(p65,n).
plan_include_harm(p66,y).
plan_include_harm(p67,n).
plan_include_harm(p68,n).
plan_include_harm(p69,y).
plan_include_harm(p70,y).
plan_include_harm(p71,n).
plan_include_harm(p72,n).
plan_include_harm(p73,y).
plan_include_harm(p74,y).
plan_include_harm(p75,y).
plan_include_harm(p76,n).
plan_include_harm(p77,n).
plan_include_harm(p78,y).
plan_include_harm(p79,y).
plan_include_harm(p80,n).
plan_include_harm(p81,n).
plan_include_harm(p82,n).
plan_include_harm(p83,n).
plan_include_harm(p84,n).
plan_include_harm(p85,n).
plan_include_harm(p86,n).
plan_include_harm(p87,y).
plan_include_harm(p88,n).
plan_include_harm(p89,n).
plan_include_harm(p90,y).
plan_include_harm(p91,y).
plan_include_harm(p92,n).
plan_include_harm(p93,y).
plan_include_harm(p94,n).
plan_include_harm(p95,n).
plan_include_harm(p96,n).
plan_include_harm(p97,y).
plan_include_harm(p98,y).
plan_include_harm(p99,n).
plan_include_harm(p100,y).
plan_include_harm(p101,n).
plan_include_harm(n0,y).
plan_include_harm(n1,n).
plan_include_harm(n2,y).
plan_include_harm(n3,n).
plan_include_harm(n4,y).
plan_include_harm(n5,y).
plan_include_harm(n6,n).
plan_include_harm(n7,n).
plan_include_harm(n8,y).
plan_include_harm(n9,n).
plan_include_harm(n10,n).
plan_include_harm(n11,n).
plan_include_harm(n12,n).
plan_include_harm(n13,y).
plan_include_harm(n14,y).
plan_include_harm(n15,y).
plan_include_harm(n16,y).
plan_include_harm(n17,y).
plan_include_harm(n18,y).
plan_include_harm(n19,y).
plan_include_harm(n20,n).
plan_include_harm(n21,y).
plan_include_harm(n22,n).
plan_include_harm(n23,n).
plan_include_harm(n24,y).
plan_include_harm(n25,n).
plan_include_harm(n26,y).
plan_include_harm(n27,y).
plan_include_harm(n28,y).
plan_include_harm(n29,y).
plan_include_harm(n30,y).
plan_include_harm(n31,y).
plan_include_harm(n32,y).
plan_include_harm(n33,y).
plan_include_harm(n34,y).
plan_include_harm(n35,n).
plan_include_harm(n36,n).
plan_include_harm(n37,n).
plan_include_harm(n38,n).
plan_include_harm(n39,n).
plan_include_harm(n40,n).
plan_include_harm(n41,n).
plan_include_harm(n42,y).
plan_include_harm(n43,y).
plan_include_harm(n44,n).
plan_include_harm(n45,n).
plan_include_harm(n46,n).
plan_include_harm(n47,y).
plan_include_harm(n48,n).
plan_include_harm(n49,y).
plan_include_harm(n50,y).
plan_include_harm(n51,y).
plan_include_harm(n52,y).
plan_include_harm(n53,y).
plan_include_harm(n54,n).
plan_include_harm(n55,n).
plan_include_harm(n56,n).
plan_include_harm(n57,y).
plan_include_harm(n58,n).
plan_include_harm(n59,y).
plan_include_harm(n60,y).
plan_include_harm(n61,n).
plan_include_harm(n62,y).
plan_include_harm(n63,n).
plan_include_harm(n64,y).
plan_include_harm(n65,y).
plan_include_harm(n66,y).
plan_include_harm(n67,n).
plan_include_harm(n68,y).
plan_include_harm(n69,y).
plan_include_harm(n70,n).
plan_include_harm(n71,y).
plan_include_harm(n72,y).
plan_include_harm(n73,y).
plan_include_harm(n74,y).
plan_include_harm(n75,y).
plan_include_harm(n76,y).
plan_include_harm(n77,y).
plan_include_harm(n78,n).
plan_include_harm(n79,n).
plan_include_harm(n80,y).
plan_include_harm(n81,n).
plan_include_harm(n82,n).
plan_include_harm(n83,y).
plan_include_harm(n84,n).
plan_include_harm(n85,n).
plan_include_harm(n86,y).
plan_include_harm(n87,y).
plan_include_harm(n88,n).
plan_include_harm(n89,n).
plan_include_harm(n90,n).
plan_include_harm(n91,y).
plan_include_harm(n92,n).
plan_include_harm(n93,n).
plan_include_harm(n94,n).
plan_include_harm(n95,n).
plan_include_harm(n96,n).
plan_include_harm(n97,y).
plan_include_harm(n98,n).
plan_include_harm(n99,n).
plan_known(p0,y).
plan_known(p1,n).
plan_known(p2,n).
plan_known(p3,y).
plan_known(p4,y).
plan_known(p5,y).
plan_known(p6,y).
plan_known(p7,y).
plan_known(p8,n).
plan_known(p9,n).
plan_known(p10,n).
plan_known(p11,n).
plan_known(p12,y).
plan_known(p13,y).
plan_known(p14,y).
plan_known(p15,y).
plan_known(p16,n).
plan_known(p17,y).
plan_known(p18,y).
plan_known(p19,y).
plan_known(p20,n).
plan_known(p21,y).
plan_known(p22,y).
plan_known(p23,y).
plan_known(p24,y).
plan_known(p25,y).
plan_known(p26,n).
plan_known(p27,y).
plan_known(p28,y).
plan_known(p29,n).
plan_known(p30,y).
plan_known(p31,n).
plan_known(p32,n).
plan_known(p33,y).
plan_known(p34,n).
plan_known(p35,y).
plan_known(p36,n).
plan_known(p37,n).
plan_known(p38,y).
plan_known(p39,n).
plan_known(p40,y).
plan_known(p41,y).
plan_known(p42,n).
plan_known(p43,n).
plan_known(p44,y).
plan_known(p45,n).
plan_known(p46,n).
plan_known(p47,y).
plan_known(p48,y).
plan_known(p49,y).
plan_known(p50,y).
plan_known(p51,y).
plan_known(p52,y).
plan_known(p53,y).
plan_known(p54,y).
plan_known(p55,y).
plan_known(p56,y).
plan_known(p57,y).
plan_known(p58,y).
plan_known(p59,y).
plan_known(p60,y).
plan_known(p61,n).
plan_known(p62,y).
plan_known(p63,y).
plan_known(p64,y).
plan_known(p65,n).
plan_known(p66,n).
plan_known(p67,n).
plan_known(p68,y).
plan_known(p69,y).
plan_known(p70,n).
plan_known(p71,n).
plan_known(p72,n).
plan_known(p73,y).
plan_known(p74,n).
plan_known(p75,n).
plan_known(p76,y).
plan_known(p77,n).
plan_known(p78,n).
plan_known(p79,n).
plan_known(p80,n).
plan_known(p81,y).
plan_known(p82,y).
plan_known(p83,n).
plan_known(p84,n).
plan_known(p85,y).
plan_known(p86,y).
plan_known(p87,n).
plan_known(p88,n).
plan_known(p89,y).
plan_known(p90,y).
plan_known(p91,n).
plan_known(p92,n).
plan_known(p93,n).
plan_known(p94,y).
plan_known(p95,y).
plan_known(p96,y).
plan_known(p97,y).
plan_known(p98,n).
plan_known(p99,n).
plan_known(p100,n).
plan_known(p101,y).
plan_known(n0,y).
plan_known(n1,y).
plan_known(n2,y).
plan_known(n3,y).
plan_known(n4,y).
plan_known(n5,y).
plan_known(n6,y).
plan_known(n7,y).
plan_known(n8,n).
plan_known(n9,y).
plan_known(n10,y).
plan_known(n11,n).
plan_known(n12,y).
plan_known(n13,n).
plan_known(n14,y).
plan_known(n15,y).
plan_known(n16,n).
plan_known(n17,y).
plan_known(n18,y).
plan_known(n19,y).
plan_known(n20,y).
plan_known(n21,y).
plan_known(n22,y).
plan_known(n23,n).
plan_known(n24,y).
plan_known(n25,n).
plan_known(n26,y).
plan_known(n27,n).
plan_known(n28,n).
plan_known(n29,n).
plan_known(n30,n).
plan_known(n31,y).
plan_known(n32,n).
plan_known(n33,y).
plan_known(n34,y).
plan_known(n35,n).
plan_known(n36,y).
plan_known(n37,n).
plan_known(n38,n).
plan_known(n39,n).
plan_known(n40,y).
plan_known(n41,n).
plan_known(n42,n).
plan_known(n43,y).
plan_known(n44,y).
plan_known(n45,y).
plan_known(n46,n).
plan_known(n47,y).
plan_known(n48,n).
plan_known(n49,y).
plan_known(n50,y).
plan_known(n51,y).
plan_known(n52,y).
plan_known(n53,n).
plan_known(n54,n).
plan_known(n55,y).
plan_known(n56,n).
plan_known(n57,y).
plan_known(n58,y).
plan_known(n59,y).
plan_known(n60,y).
plan_known(n61,n).
plan_known(n62,n).
plan_known(n63,y).
plan_known(n64,n).
plan_known(n65,n).
plan_known(n66,n).
plan_known(n67,n).
plan_known(n68,y).
plan_known(n69,y).
plan_known(n70,n).
plan_known(n71,n).
plan_known(n72,n).
plan_known(n73,y).
plan_known(n74,n).
plan_known(n75,n).
plan_known(n76,y).
plan_known(n77,y).
plan_known(n78,y).
plan_known(n79,y).
plan_known(n80,y).
plan_known(n81,y).
plan_known(n82,y).
plan_known(n83,y).
plan_known(n84,n).
plan_known(n85,y).
plan_known(n86,y).
plan_known(n87,y).
plan_known(n88,y).
plan_known(n89,n).
plan_known(n90,y).
plan_known(n91,y).
plan_known(n92,y).
plan_known(n93,n).
plan_known(n94,n).
plan_known(n95,y).
plan_known(n96,y).
plan_known(n97,n).
plan_known(n98,n).
plan_known(n99,y).
produce_harm(p0,y).
produce_harm(p1,n).
produce_harm(p2,y).
produce_harm(p3,y).
produce_harm(p4,y).
produce_harm(p5,n).
produce_harm(p6,y).
produce_harm(p7,y).
produce_harm(p8,n).
produce_harm(p9,y).
produce_harm(p10,y).
produce_harm(p11,y).
produce_harm(p12,y).
produce_harm(p13,y).
produce_harm(p14,n).
produce_harm(p15,y).
produce_harm(p16,y).
produce_harm(p17,n).
produce_harm(p18,y).
produce_harm(p19,y).
produce_harm(p20,y).
produce_harm(p21,y).
produce_harm(p22,n).
produce_harm(p23,y).
produce_harm(p24,y).
produce_harm(p25,y).
produce_harm(p26,y).
produce_harm(p27,n).
produce_harm(p28,y).
produce_harm(p29,n).
produce_harm(p30,n).
produce_harm(p31,y).
produce_harm(p32,y).
produce_harm(p33,y).
produce_harm(p34,y).
produce_harm(p35,y).
produce_harm(p36,y).
produce_harm(p37,y).
produce_harm(p38,y).
produce_harm(p39,y).
produce_harm(p40,y).
produce_harm(p41,y).
produce_harm(p42,n).
produce_harm(p43,y).
produce_harm(p44,y).
produce_harm(p45,y).
produce_harm(p46,y).
produce_harm(p47,y).
produce_harm(p48,y).
produce_harm(p49,y).
produce_harm(p50,y).
produce_harm(p51,n).
produce_harm(p52,n).
produce_harm(p53,n).
produce_harm(p54,n).
produce_harm(p55,y).
produce_harm(p56,n).
produce_harm(p57,y).
produce_harm(p58,y).
produce_harm(p59,y).
produce_harm(p60,y).
produce_harm(p61,y).
produce_harm(p62,n).
produce_harm(p63,y).
produce_harm(p64,n).
produce_harm(p65,y).
produce_harm(p66,y).
produce_harm(p67,y).
produce_harm(p68,y).
produce_harm(p69,y).
produce_harm(p70,n).
produce_harm(p71,y).
produce_harm(p72,y).
produce_harm(p73,y).
produce_harm(p74,y).
produce_harm(p75,n).
produce_harm(p76,n).
produce_harm(p77,y).
produce_harm(p78,y).
produce_harm(p79,y).
produce_harm(p80,y).
produce_harm(p81,y).
produce_harm(p82,y).
produce_harm(p83,y).
produce_harm(p84,n).
produce_harm(p85,y).
produce_harm(p86,n).
produce_harm(p87,y).
produce_harm(p88,y).
produce_harm(p89,y).
produce_harm(p90,n).
produce_harm(p91,n).
produce_harm(p92,n).
produce_harm(p93,y).
produce_harm(p94,n).
produce_harm(p95,y).
produce_harm(p96,n).
produce_harm(p97,n).
produce_harm(p98,y).
produce_harm(p99,n).
produce_harm(p100,y).
produce_harm(p101,n).
produce_harm(n0,y).
produce_harm(n1,n).
produce_harm(n2,y).
produce_harm(n3,n).
produce_harm(n4,y).
produce_harm(n5,y).
produce_harm(n6,y).
produce_harm(n7,y).
produce_harm(n8,n).
produce_harm(n9,n).
produce_harm(n10,n).
produce_harm(n11,y).
produce_harm(n12,y).
produce_harm(n13,n).
produce_harm(n14,y).
produce_harm(n15,y).
produce_harm(n16,n).
produce_harm(n17,n).
produce_harm(n18,y).
produce_harm(n19,n).
produce_harm(n20,n).
produce_harm(n21,n).
produce_harm(n22,n).
produce_harm(n23,n).
produce_harm(n24,y).
produce_harm(n25,n).
produce_harm(n26,y).
produce_harm(n27,n).
produce_harm(n28,y).
produce_harm(n29,y).
produce_harm(n30,y).
produce_harm(n31,y).
produce_harm(n32,y).
produce_harm(n33,y).
produce_harm(n34,y).
produce_harm(n35,y).
produce_harm(n36,n).
produce_harm(n37,y).
produce_harm(n38,y).
produce_harm(n39,y).
produce_harm(n40,n).
produce_harm(n41,n).
produce_harm(n42,n).
produce_harm(n43,y).
produce_harm(n44,n).
produce_harm(n45,n).
produce_harm(n46,n).
produce_harm(n47,n).
produce_harm(n48,y).
produce_harm(n49,n).
produce_harm(n50,y).
produce_harm(n51,y).
produce_harm(n52,n).
produce_harm(n53,y).
produce_harm(n54,n).
produce_harm(n55,y).
produce_harm(n56,y).
produce_harm(n57,n).
produce_harm(n58,y).
produce_harm(n59,y).
produce_harm(n60,y).
produce_harm(n61,n).
produce_harm(n62,n).
produce_harm(n63,y).
produce_harm(n64,n).
produce_harm(n65,y).
produce_harm(n66,n).
produce_harm(n67,n).
produce_harm(n68,n).
produce_harm(n69,y).
produce_harm(n70,y).
produce_harm(n71,y).
produce_harm(n72,n).
produce_harm(n73,y).
produce_harm(n74,n).
produce_harm(n75,n).
produce_harm(n76,y).
produce_harm(n77,n).
produce_harm(n78,n).
produce_harm(n79,y).
produce_harm(n80,n).
produce_harm(n81,n).
produce_harm(n82,y).
produce_harm(n83,y).
produce_harm(n84,n).
produce_harm(n85,y).
produce_harm(n86,n).
produce_harm(n87,n).
produce_harm(n88,y).
produce_harm(n89,n).
produce_harm(n90,y).
produce_harm(n91,n).
produce_harm(n92,n).
produce_harm(n93,n).
produce_harm(n94,y).
produce_harm(n95,n).
produce_harm(n96,y).
produce_harm(n97,y).
produce_harm(n98,n).
produce_harm(n99,y).
sufficient_for_harm(p0,n).
sufficient_for_harm(p1,y).
sufficient_for_harm(p2,y).
sufficient_for_harm(p3,y).
sufficient_for_harm(p4,y).
sufficient_for_harm(p5,y).
sufficient_for_harm(p6,y).
sufficient_for_harm(p7,y).
sufficient_for_harm(p8,n).
sufficient_for_harm(p9,n).
sufficient_for_harm(p10,y).
sufficient_for_harm(p11,y).
sufficient_for_harm(p12,y).
sufficient_for_harm(p13,n).
sufficient_for_harm(p14,y).
sufficient_for_harm(p15,n).
sufficient_for_harm(p16,y).
sufficient_for_harm(p17,y).
sufficient_for_harm(p18,y).
sufficient_for_harm(p19,y).
sufficient_for_harm(p20,y).
sufficient_for_harm(p21,y).
sufficient_for_harm(p22,y).
sufficient_for_harm(p23,y).
sufficient_for_harm(p24,y).
sufficient_for_harm(p25,y).
sufficient_for_harm(p26,n).
sufficient_for_harm(p27,n).
sufficient_for_harm(p28,y).
sufficient_for_harm(p29,y).
sufficient_for_harm(p30,n).
sufficient_for_harm(p31,y).
sufficient_for_harm(p32,y).
sufficient_for_harm(p33,n).
sufficient_for_harm(p34,y).
sufficient_for_harm(p35,n).
sufficient_for_harm(p36,y).
sufficient_for_harm(p37,n).
sufficient_for_harm(p38,y).
sufficient_for_harm(p39,n).
sufficient_for_harm(p40,n).
sufficient_for_harm(p41,y).
sufficient_for_harm(p42,y).
sufficient_for_harm(p43,n).
sufficient_for_harm(p44,n).
sufficient_for_harm(p45,n).
sufficient_for_harm(p46,y).
sufficient_for_harm(p47,n).
sufficient_for_harm(p48,y).
sufficient_for_harm(p49,n).
sufficient_for_harm(p50,y).
sufficient_for_harm(p51,y).
sufficient_for_harm(p52,y).
sufficient_for_harm(p53,y).
sufficient_for_harm(p54,y).
sufficient_for_harm(p55,n).
sufficient_for_harm(p56,y).
sufficient_for_harm(p57,y).
sufficient_for_harm(p58,y).
sufficient_for_harm(p59,n).
sufficient_for_harm(p60,n).
sufficient_for_harm(p61,y).
sufficient_for_harm(p62,n).
sufficient_for_harm(p63,n).
sufficient_for_harm(p64,y).
sufficient_for_harm(p65,n).
sufficient_for_harm(p66,y).
sufficient_for_harm(p67,n).
sufficient_for_harm(p68,y).
sufficient_for_harm(p69,y).
sufficient_for_harm(p70,y).
sufficient_for_harm(p71,y).
sufficient_for_harm(p72,y).
sufficient_for_harm(p73,y).
sufficient_for_harm(p74,y).
sufficient_for_harm(p75,n).
sufficient_for_harm(p76,y).
sufficient_for_harm(p77,y).
sufficient_for_harm(p78,y).
sufficient_for_harm(p79,y).
sufficient_for_harm(p80,y).
sufficient_for_harm(p81,n).
sufficient_for_harm(p82,n).
sufficient_for_harm(p83,y).
sufficient_for_harm(p84,n).
sufficient_for_harm(p85,y).
sufficient_for_harm(p86,y).
sufficient_for_harm(p87,y).
sufficient_for_harm(p88,y).
sufficient_for_harm(p89,y).
sufficient_for_harm(p90,y).
sufficient_for_harm(p91,y).
sufficient_for_harm(p92,y).
sufficient_for_harm(p93,y).
sufficient_for_harm(p94,y).
sufficient_for_harm(p95,n).
sufficient_for_harm(p96,n).
sufficient_for_harm(p97,n).
sufficient_for_harm(p98,y).
sufficient_for_harm(p99,n).
sufficient_for_harm(p100,n).
sufficient_for_harm(p101,y).
sufficient_for_harm(n0,n).
sufficient_for_harm(n1,n).
sufficient_for_harm(n2,n).
sufficient_for_harm(n3,n).
sufficient_for_harm(n4,n).
sufficient_for_harm(n5,y).
sufficient_for_harm(n6,y).
sufficient_for_harm(n7,y).
sufficient_for_harm(n8,y).
sufficient_for_harm(n9,n).
sufficient_for_harm(n10,y).
sufficient_for_harm(n11,n).
sufficient_for_harm(n12,n).
sufficient_for_harm(n13,y).
sufficient_for_harm(n14,y).
sufficient_for_harm(n15,y).
sufficient_for_harm(n16,y).
sufficient_for_harm(n17,y).
sufficient_for_harm(n18,y).
sufficient_for_harm(n19,y).
sufficient_for_harm(n20,y).
sufficient_for_harm(n21,n).
sufficient_for_harm(n22,n).
sufficient_for_harm(n23,y).
sufficient_for_harm(n24,n).
sufficient_for_harm(n25,y).
sufficient_for_harm(n26,y).
sufficient_for_harm(n27,y).
sufficient_for_harm(n28,y).
sufficient_for_harm(n29,y).
sufficient_for_harm(n30,y).
sufficient_for_harm(n31,n).
sufficient_for_harm(n32,y).
sufficient_for_harm(n33,y).
sufficient_for_harm(n34,n).
sufficient_for_harm(n35,y).
sufficient_for_harm(n36,n).
sufficient_for_harm(n37,y).
sufficient_for_harm(n38,n).
sufficient_for_harm(n39,y).
sufficient_for_harm(n40,y).
sufficient_for_harm(n41,n).
sufficient_for_harm(n42,n).
sufficient_for_harm(n43,y).
sufficient_for_harm(n44,y).
sufficient_for_harm(n45,y).
sufficient_for_harm(n46,n).
sufficient_for_harm(n47,y).
sufficient_for_harm(n48,y).
sufficient_for_harm(n49,y).
sufficient_for_harm(n50,y).
sufficient_for_harm(n51,y).
sufficient_for_harm(n52,n).
sufficient_for_harm(n53,n).
sufficient_for_harm(n54,n).
sufficient_for_harm(n55,n).
sufficient_for_harm(n56,n).
sufficient_for_harm(n57,n).
sufficient_for_harm(n58,y).
sufficient_for_harm(n59,n).
sufficient_for_harm(n60,n).
sufficient_for_harm(n61,n).
sufficient_for_harm(n62,y).
sufficient_for_harm(n63,n).
sufficient_for_harm(n64,y).
sufficient_for_harm(n65,n).
sufficient_for_harm(n66,n).
sufficient_for_harm(n67,y).
sufficient_for_harm(n68,n).
sufficient_for_harm(n69,n).
sufficient_for_harm(n70,n).
sufficient_for_harm(n71,n).
sufficient_for_harm(n72,y).
sufficient_for_harm(n73,n).
sufficient_for_harm(n74,n).
sufficient_for_harm(n75,n).
sufficient_for_harm(n76,n).
sufficient_for_harm(n77,n).
sufficient_for_harm(n78,n).
sufficient_for_harm(n79,n).
sufficient_for_harm(n80,n).
sufficient_for_harm(n81,n).
sufficient_for_harm(n82,n).
sufficient_for_harm(n83,y).
sufficient_for_harm(n84,n).
sufficient_for_harm(n85,y).
sufficient_for_harm(n86,y).
sufficient_for_harm(n87,n).
sufficient_for_harm(n88,n).
sufficient_for_harm(n89,y).
sufficient_for_harm(n90,n).
sufficient_for_harm(n91,y).
sufficient_for_harm(n92,n).
sufficient_for_harm(n93,y).
sufficient_for_harm(n94,y).
sufficient_for_harm(n95,y).
sufficient_for_harm(n96,n).
sufficient_for_harm(n97,y).
sufficient_for_harm(n98,y).
sufficient_for_harm(n99,y).
